Universal First-Order Quantification over Automata.

Bernard Boigelot Pascal Fontaine Baptiste Vergain

Published in: CIAA (2023)

Keyphrases

turing machine
higher order
first order logic
cellular automata
regular expressions
neural network
case study
learning algorithm
finite automata
lattice gas
artificial intelligence
context free
databases
finite state automata
timed automata
quantifier elimination
stochastic dominance