Probabilistic Plan Synthesis for Coupled Multi-Agent Systems * *This work was supported by the H2020 ERC Starting Grant BUCOPHSYS, the Swedish Research Council (VR), the Swedish Foundation for Strategic Research (SSF) and the Knut och Alice Wallenberg Foundation.-Reference-Cited by-同舟云学术

Probabilistic Plan Synthesis for Coupled Multi-Agent Systems * *This work was supported by the H2020 ERC Starting Grant BUCOPHSYS, the Swedish Research Council (VR), the Swedish Foundation for Strategic Research (SSF) and the Knut och Alice Wallenberg Foundation.

Published:2017-07 Issue:1 Volume:50 Page:10766-10771
ISSN:2405-8963
Container-title:IFAC-PapersOnLine
language:en
Short-container-title:IFAC-PapersOnLine

Author:

Nikou Alexandros,Tumova Jana,Dimarogonas Dimos V.

Publisher

Elsevier BV

Subject

Control and Systems Engineering

Reference25 articles.

1. Temporal Logic Control in Dynamic Environments with Probabilistic Satisfaction Guarantees;Ayala,2011

2. Principles of model checking;Baier,2008

3. Model Checking of Probabilistic and Nondeterministic Systems;Bianco,1995

4. LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees;Ding,2011

5. Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints;Ding,2014

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges;Annual Reviews in Control;2024

2. Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

3. Formal Modelling for Multi-Robot Systems Under Uncertainty;Current Robotics Reports;2023-08-15

4. Multiple Mobile Robot Task and Motion Planning: A Survey;ACM Computing Surveys;2023-02-02

5. I Think Therefore You Are;ACM Transactions on Cyber-Physical Systems;2020-10-31