Least-violating control strategy synthesis with safety rules,” (2013)

by J Tumova, G C Hall, S Karaman, E Frazzoli, D Rus
Venue:in Int. Conf. on Hybrid systems: computation and control. ACM,