Topology, monitorable properties and runtime verification.

Volker Diekert Martin Leucker

Published in: Theor. Comput. Sci. (2014)

Keyphrases

topological properties
neural network
model checking
desirable properties
learning algorithm
database
artificial intelligence
search algorithm
multiresolution
structural properties