A Symbolic Decision Procedure for Symbolic Alternating Finite Automata.

Loris D'Antoni Zachary Kincaid Fang Wang

Published in: CoRR (2016)

Keyphrases

finite automata
symbolic representation
probabilistic automata
regular expressions
grammatical inference
high level
tree automata
databases
decision problems
conceptual model
deterministic automata