5 citations · 13 across the 15 of their papers we have counts for
1 paper · 1 filter
Keya Prakash, K. S. Thejaswini
We consider the model of history-deterministic one-counter nets (OCNs). History-determinism is a property of transition systems that allows for a limited kind of non-determinism wh…