Salar Moarref

Synthesis of Optimal Controllers for Cyber Physical Systems

Salar Moarref, 2012 .

Modeling and Verification of a Dual Chamber Implantable Pacemaker

Rajeev Alur, Zhihao Jiang, Miroslav Pajic, 2012, TACAS.

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

Ufuk Topcu, Rajeev Alur, Salar Moarref, 2018, Inf. Comput..

Research Statement Salar Moarref

Salar Moarref, 2016 .

Compositional reactive synthesis for multi-agent systems

Salar Moarref, Salar Moarref, 2016 .

Automated synthesis of reactive controllers for software-defined networks

Ufuk Topcu, Boon Thau Loo, Andre Scedrov, 2013, 2013 21st IEEE International Conference on Network Protocols (ICNP).

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

Hadas Kress-Gazit, Salar Moarref, H. Kress-Gazit, 2017, 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS).

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

Hadas Kress-Gazit, Salar Moarref, H. Kress-Gazit, 2020, Auton. Robots.

Verifiable Control of Robotic Swarm from High-level Specifications

Hadas Kress-Gazit, Ji Chen, Salar Moarref, 2018, AAMAS.

Compositional Synthesis of Reactive Controllers for Multi-agent Systems

Ufuk Topcu, Rajeev Alur, Salar Moarref, 2016, CAV.

Reactive Synthesis for Robotic Swarms

Hadas Kress-Gazit, Salar Moarref, H. Kress-Gazit, 2018, FORMATS.