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 |