Learning and Model-Checking Networks of I/O Automata.

Hua Mao Manfred Jaeger

Published in: ACML (2012)

Keyphrases

model checking
temporal logic
finite state
learning algorithm
artificial intelligence
asynchronous circuits
linear temporal logic
automated verification