Controller Synthesis for Probabilistic Safety Specifications using Observers

Kendra Lesser, Alessandro Abate. Controller Synthesis for Probabilistic Safety Specifications using Observers. In Magnus Egerstedt, Yorai Wardi, editors, 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015. Volume 48 of IFAC-PapersOnLine, pages 329-334, Elsevier, 2015. [doi]

Authors

Kendra Lesser

This author has not been identified. Look up 'Kendra Lesser' in Google

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google