Sign in

Compositional and symbolic synthesis of reactive controllers for multi-agent systems.

Rajeev AlurSalar MoarrefUfuk Topcu
Published in: Inf. Comput. (2018)
Keyphrases