Control Design for Risk-Based Signal Temporal Logic Specifications

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 01, 2020
Source ID
10.1109/lcsys.2020.2998543

Entities

People

  • Dimos V. Dimarogonas
  • Iman Shames
  • Lars Lindemann
  • Sleiman Safaoui
  • Tyler Summers

Organizations

  • Air Force Office of Scientific Research
  • Swedish Research Council