Symbolic Automata: ω-Regularity Modulo Theories.

Margus Veanes Thomas Ball Gabriel Ebner Olli Saarikivi

Published in: CoRR (2023)

Keyphrases

modulo theories
answer set programming
satisfiability modulo theories
cellular automata
high level
regular expressions
stable model semantics
finite state machines
metadata
lower bound
expert systems
object oriented
logic programming