@InProceedings{WSBP16, author = {R. Wisniewski and C. Sloth and M.L. Bujorianu and N. Piterman}, title = {Safety Verification of Piecewise-Deterministic Markov Processes}, booktitle = {19th International Conference on Hybrid Systems: Computation and Control}, pages = {257--266}, OPTvolume = {}, year = {2016}, publisher = acm, OPTpdf = {}, OPTurl = {}, keywords = {Hybrid Systems}, }