activity
20132024
most citedThe 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

30 citations · 152 across the 17 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 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…