Computing Maximal Expected Termination Time of Probabilistic Timed Automata

Omar Al-Bataineh, Michael Fisher, David Rosenblum

The paper addresses the problem of computing maximal expected time to termination of probabilistic timed automata (PTA) models, under the condition that the system will, eventually…