Two fixed-point algorithms over antichains compute Eve's winning region in concurrent parameterized reachability games, with proofs of correctness and a C++ implementation.
Henzinger, and Jean-François Raskin
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Antichains for Concurrent Parameterized Games
Two fixed-point algorithms over antichains compute Eve's winning region in concurrent parameterized reachability games, with proofs of correctness and a C++ implementation.