Verification of Behaviour Networks Using Finite-State Automata.

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns

Browse the full KI paper archive.