Follow
Salar Moarref
Salar Moarref
Postdoctoral Associate at Cornell University
Verified email at cornell.edu - Homepage
Title
Cited by
Cited by
Year
Modeling and verification of a dual chamber implantable pacemaker
Z Jiang, M Pajic, S Moarref, R Alur, R Mangharam
International conference on tools and algorithms for the construction and …, 2012
1772012
Counter-strategy guided refinement of GR (1) temporal logic specifications
R Alur, S Moarref, U Topcu
2013 Formal Methods in Computer-Aided Design, 26-33, 2013
1002013
Decentralized control of robotic swarms from high-level temporal logic specifications
S Moarref, H Kress-Gazit
2017 international symposium on multi-robot and multi-agent systems (MRS), 17-23, 2017
432017
Pattern-based refinement of assume-guarantee specifications in reactive synthesis
R Alur, S Moarref, U Topcu
International Conference on Tools and Algorithms for the Construction and …, 2015
392015
Compositional synthesis of reactive controllers for multi-agent systems
R Alur, S Moarref, U Topcu
International Conference on Computer Aided Verification, 251-269, 2016
352016
Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications
S Moarref, H Kress-Gazit
Autonomous Robots 44 (3), 585-600, 2020
282020
Verifiable control of robotic swarm from high-level specifications
J Chen, S Moarref, H Kress-Gazit
Proceedings of the 17th international conference on autonomous agents and …, 2018
222018
Compositional synthesis with parametric reactive controllers
R Alur, S Moarref, U Topcu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
222016
Compositional and symbolic synthesis of reactive controllers for multi-agent systems
R Alur, S Moarref, U Topcu
Information and Computation 261, 616-633, 2018
192018
Safe schedulability of bounded-rate multi-mode systems
R Alur, V Forejt, S Moarref, A Trivedi
Proceedings of the 16th international conference on Hybrid systems …, 2013
162013
Reactive synthesis for robotic swarms
S Moarref, H Kress-Gazit
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
152018
Finding missing skills for high-level behaviors
A Pacheck, S Moarref, H Kress-Gazit
2020 IEEE International Conference on Robotics and Automation (ICRA), 10335 …, 2020
142020
Automated synthesis of reactive controllers for software-defined networks
A Wang, S Moarref, BT Loo, U Topcu, A Scedrov
2013 21st IEEE International Conference on Network Protocols (ICNP), 1-6, 2013
142013
Compositional reactive synthesis for multi-agent systems
S Moarref
University of Pennsylvania, 2016
62016
Schedulability of bounded-rate multimode systems
R Alur, V Forejt, S Moarref, A Trivedi
ACM Transactions on Embedded Computing Systems (TECS) 16 (3), 1-27, 2017
52017
Risk-averse control of Markov decision processes with ω-regular objectives
R Ehlers, S Moarref, U Topcu
2016 IEEE 55th Conference on Decision and Control (CDC), 426-433, 2016
22016
Risk-Averse -regular Markov Decision Process Control
R Ehlers, S Moarref, U Topcu
arXiv preprint arXiv:1603.06716, 2016
12016
Counter-Strategy Guided Refinement of GR (1) Temporal Logic Specifications
S Moarref
2013
Automated synthesis of reactive controllers for software-defined networks
A Scedrov, A Wang, S Moarref, U Topcu
Network Protocols-Proceedings of the 21st IEEE International Conference ICNP …, 2013
2013
Synthesis of Optimal Controllers for Cyber Physical Systems
S Moarref
2012
The system can't perform the operation now. Try again later.
Articles 1–20