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

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2018
Source ID
10.1016/j.ic.2018.02.021

Entities

People

  • Rajeev Alur
  • Salar Moarref
  • Ufuk Topcu

Organizations

  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • National Science Foundation