Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.

Pushpak Jagtap, Sadegh Soudjani, Majid Zamani

Browse the full ATVA paper archive.