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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.