Travelled to:1 × Australia
Collaborated with:A.Weinert ∅ C.Mascle D.Neider S.Schewe K.G.Larsen Simon Laursen
Talks about:game (4) optim (3) strategi (2) pariti (2) win (2) consumpt (1) synthes (1) satisfi (1) formula (1) control (1)
Person: Martin Zimmermann 0002
DBLP: 0002:Martin_Zimmermann
Contributed to:
2009
201620182020
2016Wrote 6 papers:
- CIAA-2009-Zimmermann #game studies
- Time-Optimal Winning Strategies for Poset Games (MZ0), pp. 217–226.
- CSL-2016-Weinert0 #game studies
- Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs (AW, MZ0), p. 17.
- CSL-2018-NeiderW0
- Synthesizing Optimally Resilient Controllers (DN, AW, MZ0), p. 17.
- CSL-2018-ScheweW0 #game studies
- Parity Games with Weights (SS, AW, MZ0), p. 17.
- CSL-2020-Mascle0 #decidability #modelling #satisfiability
- The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (CM, MZ0), p. 16.
- QAPL-2016-LarsenLZ15 #bound #energy #exclamation #game studies
- Limit Your Consumption! Finding Bounds in Average-energy Games (KGL, SL, MZ0), pp. 1–14.