LAUSR

Automata modulo theories

Sign Up to like & get
recommendations!
0 Published in 2021 at "Communications of the ACM"

DOI: 10.1145/3419404

Abstract: Symbolic automata better balances how automata are implemented in practice. read more here.

Keywords: automata modulo; modulo theories;