Distinguishing Sequences for Partially Specified FSMs.

Robert M. Hierons Uraz Cengiz Türker

Published in: NASA Formal Methods (2014)

Keyphrases

search algorithm
hidden markov models
finite state machines
relational databases
variable length
test sequences
decision making
website
multi agent
learning environment
expert systems
spatio temporal
multiresolution
sequential data
event sequences
long sequences