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]

Authors

Sleiman Safaoui

This author has not been identified. Look up 'Sleiman Safaoui' in Google

Lars Lindemann

This author has not been identified. Look up 'Lars Lindemann' in Google

Dimos V. Dimarogonas

This author has not been identified. Look up 'Dimos V. Dimarogonas' in Google

Iman Shames

This author has not been identified. Look up 'Iman Shames' in Google

Tyler H. Summers

This author has not been identified. Look up 'Tyler H. Summers' in Google