1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Arnd Hartmanns, Bram Kohlen
Backwards reachability is an efficient zone-based approach for model checking probabilistic timed automata w.r.t. PTCTL properties. Current implementations, however, are restricted…