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
177 2012 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
101 2013 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
43 2017 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
40 2015 Compositional synthesis of reactive controllers for multi-agent systems R Alur, S Moarref, U Topcu
International Conference on Computer Aided Verification, 251-269, 2016
35 2016 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
28 2020 Compositional synthesis with parametric reactive controllers R Alur, S Moarref, U Topcu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
23 2016 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
22 2018 Compositional and symbolic synthesis of reactive controllers for multi-agent systems R Alur, S Moarref, U Topcu
Information and Computation 261, 616-633, 2018
20 2018 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
16 2013 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
15 2020 Reactive synthesis for robotic swarms S Moarref, H Kress-Gazit
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
15 2018 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
14 2013 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
6 2017 Compositional reactive synthesis for multi-agent systems S Moarref
University of Pennsylvania, 2016
6 2016 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
2 2016 Risk-Averse -regular Markov Decision Process Control R Ehlers, S Moarref, U Topcu
arXiv preprint arXiv:1603.06716, 2016
1 2016 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