2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.GT2014
Infinite-State Energy Games
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman +3
Energy games are a well-studied class of 2-player turn-based games on a finite graph where transitions are labeled with integer vectors which represent changes in a multidimensiona…
cs.LO2014★ 2 cited
Trace Inclusion for One-Counter Nets Revisited
Piotr Hofman, Patrick Totzke
One-Counter nets (OCN) consist of a nondeterministic finite control and a single integer counter that cannot be fully tested for zero. They form a natural subclass of both One-Coun…