Safety Verification of Piecewise-Deterministic Markov Processes

Rafael Wisniewski, Christoffer Sloth, Manuela L. Bujorianu, Nir Piterman. Safety Verification of Piecewise-Deterministic Markov Processes. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 257-266, ACM, 2016. [doi]

Abstract

Abstract is missing.