State Machines as Inductive Types.

Kazuhiro Ogata Kokichi Futatsugi

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2007)

Keyphrases

state machines
state machine
petri net
artificial intelligence
knowledge representation
real time
machine learning
case study
high level
training data
multi modal