32 citations · 149 across the 42 of their papers we have counts for
1 paper · 1 filter
Martin Zimmermann
We consider graph games of infinite duration with winning conditions in parameterized linear temporal logic, where the temporal operators are equipped with variables for time bound…