Verification and control for probabilistic hybrid automata with finite bisimulations

Jeremy Sproston. Verification and control for probabilistic hybrid automata with finite bisimulations. Journal of Logic and Algebraic Programming, 103:46-61, 2019. [doi]

Abstract

Abstract is missing.