Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Esmaeil Zadeh Soudjani, S., Majumdar, R., & Abate, A. (2016). Safety Verification of Continuous-Space Pure Jump Markov Processes. In M. Chechik, & J.-F. Raskin (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 147-163). Berlin: Springer. doi:10.1007/978-3-662-49674-9_9.