35 citations · 102 across the 24 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 3 cited
Parameterized Model Checking of Token-Passing Systems
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov +1
We revisit the parameterized model checking problem for token-passing systems and specifications in indexed . Emerson and Namjoshi (1995, 2…
cs.LO2013
Alternating Traps in Muller and Parity Games
A. Grinshpun, P. Phalitnonkiat, S. Rubin +1
Muller games are played by two players moving a token along a graph; the winner is determined by the set of vertices that occur infinitely often. The central algorithmic problem is…