Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications

Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy 0001, Cristian Ioan Vasile. Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. In American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023. pages 1446-1452, IEEE, 2023. [doi]

Authors

Mingyu Cai

This author has not been identified. Look up 'Mingyu Cai' in Google

Makai Mann

This author has not been identified. Look up 'Makai Mann' in Google

Zachary Serlin

This author has not been identified. Look up 'Zachary Serlin' in Google

Kevin Leahy 0001

This author has not been identified. Look up 'Kevin Leahy 0001' in Google

Cristian Ioan Vasile

This author has not been identified. Look up 'Cristian Ioan Vasile' in Google