引用次数
引用: 592
H-指数: 13
I10-指数 : 13
出版物: 19
Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications
Salar Moarref , Rajeev Alur , Ufuk Topcu
arXiv: Logic in Computer Science
6
2013
Verifiable Control of Robotic Swarm from High-level Specifications
Hadas Kress-Gazit , Salar Moarref , Ji Chen
adaptive agents and multi-agents systems 568 -576
7
2018
Safe Schedulability of Bounded-Rate Multi-Mode Systems
Salar Moarref , Vojtech Forejt , Rajeev Alur , Ashutosh Trivedi
arXiv: Logic in Computer Science
2013
Risk-averse control of Markov decision processes with ω-regular objectives
Ruediger Ehlers , Salar Moarref , Ufuk Topcu
conference on decision and control 426 -433
2016
Compositional Synthesis with Parametric Reactive Controllers
Rajeev Alur , Salar Moarref , Ufuk Topcu
international conference on hybrid systems computation and control 215 -224
20
2016
Compositional and symbolic synthesis of reactive controllers for multi-agent systems
Rajeev Alur , Salar Moarref , Ufuk Topcu
Information & Computation 261 616 -633
6
2018
Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications
Salar Moarref , Hadas Kress-Gazit
Autonomous Robots 44 ( 3) 585 -600
5
2020
Decentralized control of robotic swarms from high-level temporal logic specifications
Salar Moarref , Hadas Kress-Gazit
2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS) 17 -23
21
2017
Automated synthesis of reactive controllers for software-defined networks
Anduo Wang , Salar Moarref , Boon Thau Loo , Ufuk Topcu
international conference on network protocols 1 -6
9
2013
Finding Missing Skills for High-Level Behaviors
Adam Pacheck , Salar Moarref , Hadas Kress-Gazit
2020 IEEE International Conference on Robotics and Automation (ICRA) 10335 -10341
12
2020
Counter-strategy guided refinement of GR(1) temporal logic specifications
Rajeev Alur , Salar Moarref , Ufuk Topcu
2013 Formal Methods in Computer-Aided Design 26 -33
44
2013
Modeling and verification of a dual chamber implantable pacemaker
Zhihao Jiang , Miroslav Pajic , Salar Moarref , Rajeev Alur
tools and algorithms for construction and analysis of systems 7214 188 -203
87
2012
Schedulability of Bounded-Rate Multimode Systems
Rajeev Alur , Vojtěch Forejt , Salar Moarref , Ashutosh Trivedi
ACM Transactions in Embedded Computing Systems 16 ( 3) 85
2017
Compositional Synthesis of Reactive Controllers for Multi-agent Systems
Rajeev Alur , Salar Moarref , Ufuk Topcu
computer aided verification 251 -269
15
2016
Reactive Synthesis for Robotic Swarms
Salar Moarref , Hadas Kress-Gazit
formal modeling and analysis of timed systems 71 -87
6
2018
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis
Rajeev Alur , Salar Moarref , Ufuk Topcu
Tools and Algorithms for the Construction and Analysis of Systems 501 -516
14
2015
Risk-Averse $\ omega $-regular Markov Decision Process Control
Ruediger Ehlers , Salar Moarref , Ufuk Topcu
arXiv preprint arXiv:1603.06716
1
2016
Compositional reactive synthesis for multi-agent systems
Salar Moarref
University of Pennsylvania
6
2016
2012