1.4k citations
- D. Schaile11 profiles116 · h 87
- A. Quadt12 profiles112 · h 86
- A. Harel12 profiles111 · h 107
- F. Fiedler4 profiles111 · h 87
- G. Wilson5 profiles111 · h 62
- P. Renkel11 profiles111 · h 51
- A. Meyer4 profiles110 · h 142
- G. Davies6 profiles110 · h 107
- M. Verzocchi16 profiles110 · h 86
- S. Banerjee5 profiles110 · h 90
- A. Garcia-Bellido3 profiles109 · h 115
- F. Badaud2 profiles109 · h 57
- University of WuppertalDE122 papers
- Johannes Gutenberg University MainzDE120 papers
- Ludwig-Maximilians-Universität MünchenDE118 papers
- University of KansasUS118 papers
- University of Maryland, College ParkUS117 papers
- University of FreiburgDE116 papers
- Fermi National Accelerator LaboratoryUS115 papers
- Imperial College LondonGB114 papers
- Lyon 1 UniversitéFR114 papers
- University of California, RiversideUS113 papers
- University of ManchesterGB113 papers
- Brookhaven National LaboratoryUS111 papers
Showing 2011 · cs.GTShow all
3 papers · 2 filters
cs.GT2011★ 1 cited
Optimal Bounds in Parametric LTL Games
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…
cs.GT2011★ 1 cited
Connectivity Games over Dynamic Networks
Sten Grüner, Frank G. Radmacher, Wolfgang Thomas
A game-theoretic model for the study of dynamic networks is analyzed. The model is motivated by communication networks that are subject to failure of nodes and where the restoratio…
cs.GT2011★ 5 cited
Memory Reduction via Delayed Simulation
Marcus Gelderie, Michael Holtmann
We address a central (and classical) issue in the theory of infinite games: the reduction of the memory size that is needed to implement winning strategies in regular infinite game…