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]
Abstract is missing.