Travelled to:1 × Austria
1 × Japan
1 × USA
Collaborated with:P.Hofman R.Mayr J.Leroux G.Sutre P.A.Abdulla M.F.Atig K.N.Kumar
Talks about:one (2) pushdown (1) problem (1) infinit (1) counter (1) vector (1) system (1) energi (1) dimens (1) state (1)
Person: Patrick Totzke
DBLP: Totzke:Patrick
Contributed to:
2015
20142013Wrote 3 papers:
- ICALP-v2-2015-LerouxST #automaton #on the #problem
- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension (JL, GS, PT), pp. 324–336.
- LICS-CSL-2014-AbdullaAHMKT #energy #game studies #infinity
- Infinite-state energy games (PAA, MFA, PH, RM, KNK, PT), p. 10.
- LICS-2013-HofmanMT #decidability #simulation
- Decidability of Weak Simulation on One-Counter Nets (PH, RM, PT), pp. 203–212.