The following publications are possibly variants of this publication:
- Safety Verification of Dynamical Systems via k-Inductive Barrier CertificatesMahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani. cdc 2021: 1314-1320 [doi]
- A Scenario Approach for Synthesizing k-Inductive Barrier CertificatesVishnu Murali, Ashutosh Trivedi 0001, Majid Zamani. csysl, 6:3247-3252, 2022. [doi]
- Verification of Switched Stochastic Systems via Barrier CertificatesMahathi Anand, Pushpak Jagtap, Majid Zamani. cdc 2019: 4373-4378 [doi]
- Temporal Logic Verification of Stochastic Systems Using Barrier CertificatesPushpak Jagtap, Sadegh Soudjani, Majid Zamani. ATVA 2018: 177-193 [doi]
- Data-Driven Safety Verification of Stochastic Systems via Barrier CertificatesAli Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. adhs 2021: 7-12 [doi]
- Formal Synthesis of Stochastic Systems via Control Barrier CertificatesPushpak Jagtap, Sadegh Soudjani, Majid Zamani. tac, 66(7):3097-3110, 2021. [doi]
- Data-driven verification and synthesis of stochastic systems via barrier certificatesAli Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001. automatica, 159:111323, January 2024. [doi]
- Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched SystemsAmeneh Nejati, Sadegh Soudjani, Majid Zamani. csysl, 4(4):845-850, 2020. [doi]