Control Design for Risk-Based Signal Temporal Logic Specifications

Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers. Control Design for Risk-Based Signal Temporal Logic Specifications. IEEE Control Systems Letters, 4(4):1000-1005, 2020. [doi]

Abstract

Abstract is missing.