10 likes | 112 Views
Probabilistic timed automata (PTAs). 1. true. x:=0. 0.9. send x≥1. retry. 0. 0.95. x≥2. x≤2. 0.1. 0.05. 2. x:=0. x:=0. x≤3.
E N D
Probabilistic timed automata (PTAs) 1 true x:=0 0.9 send x≥1 retry 0 0.95 x≥2 x≤2 0.1 0.05 2 x:=0 x:=0 x≤3