Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphaƫl M. Jungers. Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems. In Abolfazl Lavaei, Pavithra Prabhakar, Luca Zaccarian, Majid Zamani 0001, editors, 8th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2024, Boulder, CO, USA, July 1-3, 2024. Volume 58 of IFAC-PapersOnLine, pages 63-68, Elsevier, 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.