Converting concurrent game frames to effectivity frames can drastically speed up alternating-time mu-calculus model checking on games where many joint moves are equivalent, at the cost of a one-time conversion that is not always recouped.
In: International Joint Conference on Artificial Intelligence, IJCAI 2019
1 Pith paper cite this work, alongside 16 external citations. Polarity classification is still indexing.
1
Pith paper citing it
16
external citations · OpenAlex
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames
Converting concurrent game frames to effectivity frames can drastically speed up alternating-time mu-calculus model checking on games where many joint moves are equivalent, at the cost of a one-time conversion that is not always recouped.