Modeling and Verification of a Dual Chamber Implantable Pacemaker. - Zhihao Jiang; Miroslav Pajic; Salar Moarref; Rajeev Alur; Rahul Mangharam (TACAS, 2012)

Counter-strategy guided refinement of GR(1) temporal logic specifications. - Rajeev Alur; Salar Moarref; Ufuk Topcu (FMCAD, 2013)

Safe schedulability of bounded-rate multi-mode systems. - Rajeev Alur; Vojtech Forejt; Salar Moarref; Ashutosh Trivedi 001 (HSCC, 2013)

Automated synthesis of reactive controllers for software-defined networks. - Anduo Wang; Salar Moarref; Boon Thau Loo; Ufuk Topcu; Andre Scedrov (ICNP, 2013)

Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. - Rajeev Alur; Salar Moarref; Ufuk Topcu (TACAS, 2015)

Compositional Synthesis of Reactive Controllers for Multi-agent Systems. - Rajeev Alur; Salar Moarref; Ufuk Topcu (CAV (2), 2016)

Risk-averse control of Markov decision processes with ω-regular objectives. - Rüdiger Ehlers; Salar Moarref; Ufuk Topcu (CDC, 2016)

Compositional Synthesis with Parametric Reactive Controllers. - Rajeev Alur; Salar Moarref; Ufuk Topcu (HSCC, 2016)

Risk-Averse ω-regular Markov Decision Process Control. - Rüdiger Ehlers; Salar Moarref; Ufuk Topcu (CoRR, 2016)

Decentralized control of robotic swarms from high-level temporal logic specifications. - Salar Moarref; Hadas Kress-Gazit (MRS, 2017)

Schedulability of Bounded-Rate Multimode Systems. - Rajeev Alur; Vojtech Forejt; Salar Moarref; Ashutosh Trivedi 001 (ACM Trans. Embed. Comput. Syst., 2017)

Verifiable Control of Robotic Swarm from High-level Specifications. - Ji Chen; Salar Moarref; Hadas Kress-Gazit (AAMAS, 2018)

Reactive Synthesis for Robotic Swarms. - Salar Moarref; Hadas Kress-Gazit (FORMATS, 2018)

Compositional and symbolic synthesis of reactive controllers for multi-agent systems. - Rajeev Alur; Salar Moarref; Ufuk Topcu (Inf. Comput., 2018)

Finding Missing Skills for High-Level Behaviors. - Adam Pacheck; Salar Moarref; Hadas Kress-Gazit (ICRA, 2020)

Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications. - Salar Moarref; Hadas Kress-Gazit (Auton. Robots, 2020)