Higher-Order Approximations for Verification of Stochastic Hybrid Systems.

Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

Browse the full ATVA paper archive.