Compositional Synthesis of Reactive Controllers for Multi-agent Systems

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

Mathematics Subject Classification ID

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)

Causality-based game solving ⋮ A verification-driven framework for iterative design of controllers

This page was built for publication: Compositional Synthesis of Reactive Controllers for Multi-agent Systems