Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 08, 2022
Source ID
10.23919/acc53348.2022.9867734

Entities

People

  • Iman Shames
  • Lars Lindemann
  • Sleiman Safaoui
  • Tyler Summers

Organizations

  • Australian National University
  • National Science Foundation
  • United States Air Force
  • University of Pennsylvania
  • University of Texas at Dallas