An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata.

Fuzhi Wang, Marta Z. Kwiatkowska

Browse the full ATVA paper archive.