History-Deterministic Parikh Automata.

Enzo Erlich Shibashis Guha Ismaël Jecker Karoliina Lehtinen Martin Zimmermann

Published in: CONCUR (2023)

Keyphrases

finite state automaton
turing machine
cellular automata
deterministic finite automata
finite state
model checking
finite state machines
regular expressions
probabilistic automata
timed automata
stochastic methods
real time
state space
dynamic programming
web services
data mining
databases