Reachability Analysis of Probabilistic Real-Time Systems Based on CEGAR for Timed Automata
Proceedings of International Workshop on Informatics 2010, pp.18-26 (2010)
タグ: analysis, automata, cegar, probabilistic, reachability, real-time, systems, timed
@inproceedings{TakeshiNagaoka2010a,
author = {Takeshi Nagaoka and Akihiko Ito and Toshiaki Tanaka and Kozo Okano and Shinji Kusumoto},
title = {Reachability Analysis of Probabilistic Real-Time Systems Based on CEGAR for Timed Automata},
booktitle = {Proceedings of International Workshop on Informatics 2010},
pages = {18--26},
year = {2010},
month = {sep}
}