Continuous one-counter automata
Source
ACM transactions on computational logic - ISSN 1529-3785-24:1 (2023) p. 1-31
Continuous one-counter automata
Source
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy- () p. 1-13