Automata modulo theories
Loris D’Antoni, Margus Veanes
Abstract
Symbolic automata better balances how automata are implemented in practice.
Topics & Concepts
ModuloAutomatonComputer scienceTheoretical computer scienceArithmeticAlgebra over a fieldMathematicsDiscrete mathematicsPure mathematicssemigroups and automata theoryFormal Methods in VerificationMachine Learning and Algorithms