An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.

Wei Ji, Farn Wang, Peng Wu, Yi Lv

Browse the full ICECCS paper archive.