Travelled to:1 × Austria
1 × USA
Collaborated with:R.Mayr P.Totzke P.A.Abdulla M.F.Atig K.N.Kumar
Talks about:infinit (1) counter (1) energi (1) state (1) simul (1) decid (1) weak (1) game (1) one (1) net (1)
Person: Piotr Hofman
DBLP: Hofman:Piotr
Contributed to:
20142013Wrote 2 papers:
- 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.