Salar Moarref

18 papers A* 1A 3B 2Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications.
Auton. Robots
Salar Moarref, Hadas Kress-Gazit
2020 A* conf
Finding Missing Skills for High-Level Behaviors.
ICRA
Adam Pacheck, Salar Moarref, Hadas Kress-Gazit
2018 J jnl
Compositional and symbolic synthesis of reactive controllers for multi-agent systems.
Inf. Comput.
Rajeev Alur, Salar Moarref, Ufuk Topcu
2018 — conf
Reactive Synthesis for Robotic Swarms.
FORMATS
Salar Moarref, Hadas Kress-Gazit
2018 A conf
Verifiable Control of Robotic Swarm from High-level Specifications.
AAMAS
Ji Chen, Salar Moarref, Hadas Kress-Gazit
2017 — conf
Decentralized control of robotic swarms from high-level temporal logic specifications.
MRS
Salar Moarref, Hadas Kress-Gazit
2017 J jnl
Schedulability of Bounded-Rate Multimode Systems.
ACM Trans. Embed. Comput. Syst.
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2016 — conf
Compositional Synthesis of Reactive Controllers for Multi-agent Systems.
CAV (2)
Rajeev Alur, Salar Moarref, Ufuk Topcu
2016 — conf
Compositional Synthesis with Parametric Reactive Controllers.
HSCC
Rajeev Alur, Salar Moarref, Ufuk Topcu
2016 J jnl
Risk-Averse ω-regular Markov Decision Process Control.
CoRR
Rüdiger Ehlers, Salar Moarref, Ufuk Topcu
2016 — conf
Risk-averse control of Markov decision processes with ω-regular objectives.
CDC
Rüdiger Ehlers, Salar Moarref, Ufuk Topcu
2015 A conf
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis.
TACAS
Rajeev Alur, Salar Moarref, Ufuk Topcu
2013 B conf
Automated synthesis of reactive controllers for software-defined networks.
ICNP
Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov
2013 J jnl
Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications.
CoRR
Rajeev Alur, Salar Moarref, Ufuk Topcu
2013 B conf
Counter-strategy guided refinement of GR(1) temporal logic specifications.
FMCAD
Rajeev Alur, Salar Moarref, Ufuk Topcu
2013 J jnl
Safe Schedulability of Bounded-Rate Multi-Mode Systems
CoRR
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2013 — conf
Safe schedulability of bounded-rate multi-mode systems.
HSCC
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2012 A conf
Modeling and Verification of a Dual Chamber Implantable Pacemaker.
TACAS
Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam