Continuous One-counter Automata.

Michael Blondin Tim Leys Filip Mazowiecki Philip Offtermatt Guillermo A. Pérez

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

finite state
cellular automata
regular expressions
image processing
markov chain
model checking
finite state machines
continuous data
finite automata
real time
data sets
information retrieval
knowledge base
image sequences
mobile robot