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

Fuzhi Wang Marta Z. Kwiatkowska An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. 385-399 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_29 db/conf/atva/atva2005.html#WangK05