New ideas on symbolic manipulations of finite state machines.

Christian Berthet Olivier Coudert Jean Christophe Madre

Published in: ICCD (1990)

Keyphrases

finite state machines
state transition
model checking
finite state automata
hidden markov models
regular expressions
artificial intelligence
symbolic representation
high level
digital circuits
low level
connectionist models
neural learning
database
data sets
query language