Learning Communicating Automata from MSCs.

Benedikt Bollig Joost-Pieter Katoen Carsten Kern Martin Leucker

Published in: IEEE Trans. Software Eng. (2010)

Keyphrases

learning algorithm
incremental learning
learning process
prior knowledge
real time
domain knowledge
online learning
empirical studies
learning mechanism
learning systems
cellular automata
learning problems