On Zone-Based Analysis of Duration Probabilistic Automata

Oded Maler, Kim G. Larsen, Bruce H. Krogh

We propose an extension of the zone-based algorithmics for analyzing timed automata to handle systems where timing uncertainty is considered as probabilistic rather than set-theore…