Incremental Inductive Verification of Parameterized Timed Systems.

Tobias Isenberg

Published in: ACM Trans. Embed. Comput. Syst. (2017)

Keyphrases

complex systems
machine learning
website
knowledge representation
database
neural network
knowledge base
distributed systems
learning systems
model checking
incremental learning
signature verification