First-Order Quantification over Automata.

Bernard Boigelot Pascal Fontaine Baptiste Vergain

Published in: CoRR (2023)

Keyphrases

higher order
first order logic
finite automata
probabilistic automata
cellular automata
regular expressions
finite state
tree automata
stochastic dominance
finite state automata
data sets
finite state machines
lattice gas
context free
conditional logic
pairwise
decision trees
learning algorithm
real world