@article{oai:kanazawa-u.repo.nii.ac.jp:00009222,
 author = {Yamane, Satoshi and Shimizu, Takaya},
 issue = {7009336},
 journal = {2014 2nd International Conference on Systems and Informatics, ICSAI 2014},
 month = {Jan},
 note = {In this paper, we present an efficient verification method for probabilistic timed automaton. This method based on predicate abstractions and refinements realizes effective automated verifications for real-time and probabilistic embedded systems.},
 pages = {482--491},
 title = {Development of probabilistic timed CEGAR},
 year = {2015}
}