Compositional Synthesis of Reactive Controllers for Multi-agent Systems
No abstract available.
Related papers
- Multi-modal Sketch-Based Behavior Tree Synthesis OOPSLA 2025
- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications TACAS 2009
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Cooperative Specification via Composition Control SLE 2024
- Rational Synthesis TACAS 2010
- Reward-Guided Synthesis of Intelligent Agents with Control Structures PLDI 2024
- Synthesis of coordination programs from linear temporal specifications POPL 2020