Travelled to:
1 × Finland
1 × Spain
Collaborated with:
A.Morgenstern K.Schneider
Talks about:
preemption (1) statement (1) increment (1) result (1) induct (1) verif (1) solv (1) lift (1) game (1) use (1)
Person: Manuel Gesell
DBLP: Gesell:Manuel
Contributed to:
Wrote 2 papers:
- IFM-2013-MorgensternGS #game studies #incremental #induction #using
- Solving Games Using Incremental Induction (AM, MG, KS), pp. 177–191.
- SEFM-2013-GesellMS #verification
- Lifting Verification Results for Preemption Statements (MG, AM, KS), pp. 91–105.