Development of probabilistic timed CEGAR
Satoshi Yamane, T. Shimizu · 2014
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.