Validated Simulation-Based Verification of Delayed Differential Dynamics.

Mingshuai Chen Martin Fränzle Yangjia Li Peter Nazier Mosaad Naijun Zhan

Published in: FM (2016)

Keyphrases

dynamical systems
genetic algorithm
dynamic model
information systems
model checking
knowledge base
neural network
machine learning
search engine
case study
verification method