Compositional synthesis of reactive controllers for multi-agent systems

DOI10.1007/978-3-319-41540-6_14MaRDI QIDQ4633556zbMATH OpenOpenAlexFDO

Authors 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

Artificial intelligence for robotics (68T40) Agent technology and artificial intelligence (68T42) Decentralized systems (93A14) Synthesis problems (93B50) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Compositional and symbolic synthesis of reactive controllers for multi-agent systems
• Compositional synthesis with parametric reactive controllers
• Reactive synthesis for robotic swarms
• Compositional synthesis of modular systems
• On the timed temporal logic planning of coupled multi-agent systems

Cited in

(13)

• Reactive synthesis for robotic swarms
• Compositional and symbolic synthesis of reactive controllers for multi-agent systems
• A verification-driven framework for iterative design of controllers
• Multi-agent compositional stability exploiting system symmetries
• Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
• Automatic composition and reasoning in computational multi-agent systems
• Compositional synthesis with parametric reactive controllers
• Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors
• Synthesizing strategies for homogeneous multi-agent systems with incomplete information
• scientific article; zbMATH DE number 1822285 (Why is no real title available?)
• Information Flow Guided Synthesis
• Contract-based multi-agent logical controller synthesis under uncertainty
• Causality-based game solving

This page was built for publication: Compositional synthesis of reactive controllers for multi-agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4633556)