@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},
}