20 citations · 41 across the 31 of their papers we have counts for
1 paper · 2 filters
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…