Regular Inference for State Machines Using Domains with Equality Tests.

Therese Berg Bengt Jonsson Harald Raffelt

Published in: FASE (2008)

Keyphrases

state machines
state machine
recurrent networks
petri net
bayesian networks
fault tolerant
database
real time
machine learning
learning algorithm
data structure
object oriented
recurrent neural networks