Generating Behaviour Networks from Finite-State Machines.

Christopher Armbrust Daniel Schmidt Karsten Berns

Published in: ROBOTIK (2012)

Keyphrases

finite state machines
model checking
finite state automata
functional units
keywords
network structure
complex networks
network design
social networks
metadata
heterogeneous networks