Conference and Journal Papers

Reactive Synthesis for Robotic Swarms

Salar Moarref and Hadas Kress-Gazit

16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2018

Verifiable Control of Robotic Swarm  from High-level Specifications

Ji Chen, Salar Moarref, and Hadas Kress-Gazit,

17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018

Compositional and Symbolic Synthesis of Reactive Controllers for Multi-Agent Systems

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Information and Computation, 2018

Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specification

Salar Moarref and Hadas Kress-Gazit

IEEE International Symposium on Multi-Robot and Multi-Agent Systems (MRS),  2017

Schedulability of Bounded-Rate Multi-Mode Systems

Rajeev Alur, Vojtech Forejt, Salar Moarref, and Ashutosh Trivedi

ACM Transactions on Embedded Computing Systems (TECS), 2017

Risk-Averse Omega-Regular Markov Decision Process Control

Ruediger Ehler, Salar Moarref, and Ufuk Topcu

55th Conference on Decision and Control (CDC), 2016
 

Compositional Synthesis of Reactive Controllers for Multi-Agent Systems

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Computer Aided Verification (CAV), 2016

Compositional Synthesis with Parametric Reactive Controllers

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Hybrid Systems: Computation and Control (HSCC), 2016


Pattern-Based Refinement of Interface Specifications in Reactive Synthesis

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , 2015
 

Automated Synthesis of Reactive Controllers for Software-Defined Networks

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

International Workshop on Rigorous Protocol Engineering, 2013


Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications

Rajeev Alur, Salar Moarref, and Ufuk Topcu

Formal Methods in Computer-Aided Design (FMCAD), 2013
 

Safe Schedulability of Bounded-Rate Multi-Mode Systems

Rajeev Alur, Vojtech Forejt, Salar Moarref, and Ashutosh Trivedi

Hybrid Systems: Computation and Control (HSCC), 2013
 

Modeling and Verification of a Dual Chamber Implantable Pacemaker

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

Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012

Theses

Compositional Reactive Synthesis for Multi-Agent Systems

Salar Moarref 

Ph.D. Dissertation, August 2016  

Evaluating Modeling Methods in Web Developing Methodologies

Salar Moarref

B.Sc. Thesis, Spring 2010

© 2023 by Andi Banks. Proudly created with Wix.com

  • LinkedIn Social Icon
  • googlescholar-icon-thumbnail
  • researchGate
  • Facebook Social Icon
  • Instagram Social Icon