Compositional Synthesis of Reactive Controllers for Multi-agent Systems.

Rajeev Alur, Salar Moarref, Ufuk Topcu

Browse the full CAV paper archive.