Compositional Synthesis with Parametric Reactive Controllers

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 11, 2016
Source ID
10.1145/2883817.2883842

Entities

People

  • Rajeev Alur
  • Salar Moarref
  • Ufuk Topcu

Organizations

  • Air Force Research Laboratory
  • Army Research Office
  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • Office of Naval Research
  • University of Pennsylvania
  • University of Texas at Austin