Compositional and symbolic synthesis of reactive controllers for multi-agent systems
From MaRDI portal
Publication:1641032
DOI10.1016/j.ic.2018.02.021zbMath1395.68267OpenAlexW2792185122WikidataQ130168893 ScholiaQ130168893MaRDI QIDQ1641032
Rajeev Alur, Salar Moarref, Ufuk Topcu
Publication date: 14 June 2018
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2018.02.021
Cites Work
- Unnamed Item
- Unnamed Item
- Synthesis of Reactive(1) designs
- Antichains and compositional algorithms for LTL synthesis
- Symbolic bounded synthesis
- The complexity of two-player games of incomplete information
- Distributed receding horizon control for multi-vehicle formation stabilization
- Decentralized receding horizon control for large scale dynamically decoupled systems
- A general framework for assembly planning: The motion space approach
- An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
- Compositional Synthesis with Parametric Reactive Controllers
- A Compositional Framework for Controller Synthesis
- Bounded Synthesis
- Algorithms for Omega-Regular Games with Imperfect Information
- Verification and Control of Hybrid Systems
- On the synthesis of discrete controllers for timed systems
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis
- Deterministic generators and games for Ltl fragments
- Receding Horizon Temporal Logic Planning
- Planning Algorithms
- Safraless Compositional Synthesis
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Hybrid Systems: Computation and Control
- Lower bounds for multiplayer noncooperative games of incomplete information
