1. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
2. A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada. 2019. Control barrier functions: Theory and applications. In Proceedings of the 18th European Control Conference (ECC). 3420–3431.
3. Control Barrier Function Based Quadratic Programs for Safety Critical Systems
4. M. Anand, V. Murali, A. Trivedi, and M. Zamani. 2022. k-Inductive Barrier Certificates for Stochastic Dynamical Systems. In 25th International Conference on Hybrid Systems: Computation and Control.
5. C. Baier and J.-P. Katoen. 2008. Principles of model checking. MIT press.