Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems

Kendra Lesser, Meeko Oishi. Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. IEEE Trans. Automat. Contr., 62(1):81-96, 2017. [doi]

Abstract

Abstract is missing.