Using SMT Engine to Generate Symbolic Automata.

Eric Madelaine Xudong Qin Min Zhang Simon Bliudze

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)

Keyphrases

cellular automata
neural network
regular expressions
finite state machines
real time
data sets
machine learning
knowledge base
web services
probabilistic model
context sensitive
symbolic representation
generation method
automatically generating
connectionist learning