Reactive synthesis with maximum realizability of linear temporal logic specifications

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 09, 2019
Source ID
10.1007/s00236-019-00348-4

Entities

People

  • Mahsa Ghasemi
  • Rayna Dimitrova
  • Ufuk Topcu

Organizations

  • Air Force Research Laboratory
  • National Aeronautics and Space Administration
  • Office of Naval Research