1 paper · 1 filter
Shaull Almagor, Asaf Yeshurun
One-Counter Nets (OCNs) are finite-state automata equipped with a counter that is not allowed to become negative, but does not have zero tests. Their simplicity and close connectio…