A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems.

Jens Oehlerking, Oliver E. Theel

Browse the full ATVA paper archive.