Compositional Synthesis of Reactive Controllers for Multi-agent Systems
From MaRDI portal
Publication:4633556
DOI10.1007/978-3-319-41540-6_14zbMath1411.68156OpenAlexW2497121448MaRDI QIDQ4633556
Salar Moarref, Ufuk Topcu, Rajeev Alur
Publication date: 3 May 2019
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-41540-6_14
Automated systems (robots, etc.) in control theory (93C85) Decentralized systems (93A14) Synthesis problems (93B50) Artificial intelligence for robotics (68T40) Agent technology and artificial intelligence (68T42)
Related Items (2)
This page was built for publication: Compositional Synthesis of Reactive Controllers for Multi-agent Systems