An Extension of the Inverse Method to Probabilistic Timed Automata (2009)

by Étienne André , Laurent Fribourg , Jeremy Sproston
Citations:6 - 4 self