Travelled to:1 × Finland
1 × France
1 × Iceland
1 × Portugal
1 × Switzerland
Collaborated with:H.Seidl J.Esparza S.Kiefer
Talks about:precis (3) strategi (2) fixpoint (2) iter (2) game (2) polynomi (1) approxim (1) monoton (1) analysi (1) system (1)
Person: Thomas Gawlitza
DBLP: Gawlitza:Thomas
Contributed to:
2009
2008
2008
2007
2007Wrote 5 papers:
- CAV-2009-GawlitzaS #fixpoint #game studies
- Games through Nested Fixpoints (TG, HS), pp. 291–305.
- FM-2008-GawlitzaS #analysis #game studies #precise
- Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.
- ICALP-A-2008-EsparzaGKS #approximate #equation
- Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations (JE, TG, SK, HS), pp. 698–710.
- CSL-2007-GawlitzaS #invariant #precise #relational
- Precise Relational Invariants Through Strategy Iteration (TG, HS), pp. 23–40.
- ESOP-2007-GawlitzaS #fixpoint #precise
- Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.