A Symbolic Decision Procedure for Symbolic Alternating Finite Automata.

Loris D'Antoni Zachary Kincaid Fang Wang

Published in: MFPS (2018)

Keyphrases

finite automata
decision making
regular expressions
high level
symbolic representation
grammatical inference
artificial intelligence
domain knowledge
decision makers