A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.

Shibashis Guha Ismaël Jecker Karoliina Lehtinen Martin Zimmermann

Published in: CoRR (2021)

Keyphrases

cellular automata
neural network
model checking
databases
information systems
markov chain
situation calculus