Verification of behaviour networks using finite-state automata (2012)

by C Armbrust, L Kiekbusch, T Ropertz, K Berns
Venue:Krüger (Eds.), KI 2012: Advances in Artificial Intelligence