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]

Possibly Related Publications

The following publications are possibly variants of this publication: