297 citations · 545 across the 13 of their papers we have counts for
1 paper · 1 filter
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…