TY  - RPRT
TI  - Invariants for One-Counter Automata with Disequality Tests
AU  - Dmitry Chistikov
AU  - Jérôme Leroux
AU  - Henry Sinclair-Banks
AU  - Nicolas Waldburger
PY  - 2024
UR  - https://arxiv.org/abs/2408.11908
ID  - 2408.11908
ER  -