Proposes turn-based probabilistic timed multi-player games and adapts digital clocks reduction to compute reachability probability and expected price for targets.
Combining (3) with (2) it follows that: Pσ(FR) = Probσ{π∈ IPathsσ′ |π(i)∈F for some i∈ N} = Pσ′ (FN) by definition of Pσ′ (FN)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Verification and Control of Turn-Based Probabilistic Real-Time Games
Proposes turn-based probabilistic timed multi-player games and adapts digital clocks reduction to compute reachability probability and expected price for targets.