Return to Article Details An Extension of the Inverse Method to Probabilistic Timed Automata Download Download PDF