Augmented finite transition systems as abstractions for control synthesis

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 31, 2017
Source ID
10.1007/s10626-017-0243-z

Entities

People

  • Jun Liu
  • Necmiye Ozay
  • Petter Nilsson

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation