A Comparison between Statecharts and State Transition Assertions.

Published in: TPHOLs (1992)

Keyphrases

state transition
state transitions
state space
input output
state transition model
hidden markov models
black box
finite state machines
markov chain
probability distribution
knowledge base
artificial intelligence
data mining