Salar Moarref

According to our database, Salar Moarref authored at least 16 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications.

Salar Moarref, Hadas Kress-Gazit

Auton. Robots, 2020

Finding Missing Skills for High-Level Behaviors.

Adam Pacheck, Salar Moarref, Hadas Kress-Gazit

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2018

Compositional and symbolic synthesis of reactive controllers for multi-agent systems.

Rajeev Alur, Salar Moarref, Ufuk Topcu

Inf. Comput., 2018

Reactive Synthesis for Robotic Swarms.

Salar Moarref, Hadas Kress-Gazit

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Verifiable Control of Robotic Swarm from High-level Specifications.

Ji Chen, Salar Moarref, Hadas Kress-Gazit

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Schedulability of Bounded-Rate Multimode Systems.

Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi

ACM Trans. Embed. Comput. Syst., 2017

Decentralized control of robotic swarms from high-level temporal logic specifications.

Salar Moarref, Hadas Kress-Gazit

Proceedings of the 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), 2017

2016

Risk-Averse ω-regular Markov Decision Process Control.

Rüdiger Ehlers, Salar Moarref, Ufuk Topcu

CoRR, 2016

Compositional Synthesis with Parametric Reactive Controllers.

Rajeev Alur, Salar Moarref, Ufuk Topcu

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Risk-averse control of Markov decision processes with ω-regular objectives.

Rüdiger Ehlers, Salar Moarref, Ufuk Topcu

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Compositional Synthesis of Reactive Controllers for Multi-agent Systems.

Rajeev Alur, Salar Moarref, Ufuk Topcu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis.

Rajeev Alur, Salar Moarref, Ufuk Topcu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Automated synthesis of reactive controllers for software-defined networks.

Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov

Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

Safe schedulability of bounded-rate multi-mode systems.

Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Counter-strategy guided refinement of GR(1) temporal logic specifications.

Rajeev Alur, Salar Moarref, Ufuk Topcu

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Modeling and Verification of a Dual Chamber Implantable Pacemaker.

Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012