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;