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}
}