Verification of Behaviour Networks Using Finite-State Automata.

Christopher Armbrust Lisa Kiekbusch Thorsten Ropertz Karsten Berns

Published in: KI (2012)

Keyphrases

finite state automata
finite state machines
model checking
hybrid automata
databases
learning algorithm
lower bound
query processing
knowledge representation