1 paper · 1 filter
Prince Mathew, Vincent Penelle, Prakash Saivasan +1
We introduce weighted one-deterministic-counter automata (ODCA). These are weighted one-counter automata (OCA) with the property of counter-determinacy, meaning that all paths labe…