1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…