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
1362012
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
692013
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
252015
Compositional synthesis of reactive controllers for multi-agent systems
R Alur, S Moarref, U Topcu
International Conference on Computer Aided Verification, 251-269, 2016
202016
Compositional synthesis with parametric reactive controllers
R Alur, S Moarref, U Topcu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
192016
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
172017
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
152013
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
102013
Reactive Synthesis for Robotic Swarms
S Moarref, H Kress-Gazit
International Conference on Formal Modeling and Analysis of Timed Systems, 71-87, 2018
72018
Compositional and symbolic synthesis of reactive controllers for multi-agent systems
R Alur, S Moarref, U Topcu
Information and Computation 261, 616-633, 2018
72018
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
62018
Compositional reactive synthesis for multi-agent systems
S Moarref
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
22017
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
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
12020
Risk-Averse -regular Markov Decision Process Control
R Ehlers, S Moarref, U Topcu
arXiv preprint arXiv:1603.06716, 2016
12016
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
2020
Counter-Strategy Guided Refinement of GR (1) Temporal Logic Specifications
S Moarref
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–19