The following pages link to Martín G. Zimmermann (Q218365):
Displayed 16 items.
- (Q5079761) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- (Q5144672) (← links)
- Good-for-games ω-Pushdown Automata (Q5145673) (← links)
- From LTL to rLTL monitoring (Q5146368) (← links)
- (Q5151006) (← links)
- (Q5232902) (← links)
- (Q5278418) (← links)
- What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead (Q5351978) (← links)
- (Q5367068) (← links)
- RESONANCE STRUCTURE IN A WEAKLY DETUNED LASER WITH INJECTED SIGNAL (Q5474229) (← links)
- Parity and Streett Games with Costs (Q5495107) (← links)
- The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (Q5874216) (← links)
- How Much Lookahead is Needed to Win Infinite Games? (Q5892380) (← links)
- How Much Lookahead is Needed to Win Infinite Games? (Q5899477) (← links)
- Modulated amplitude waves and defect formation in the one-dimensional complex Ginzburg-Landau equation (Q5950435) (← links)