1. Safe policy synthesis in multi-agent POMDPs via discrete-time barrier functions;Ahmadi;In Proceedings of the 58th Conference on Decision and Control (CDC),2019
2. Control barrier functions for complete and incomplete information stochastic systems;Clark;In Proceedings of the American Control Conference (ACC),2019
3. Discrete-time Markov jump linear systems. Probability and Its Applications;Costa,2005
4. Z3: An efficient SMT solver. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems;De Moura,2008
5. Almost sure stability of stochastic switched systems: Graph lifts-based approach;Della Rossa;In Proceedings of the 61st Conference on Decision and Control (CDC),2022