Login / Signup
Automatic Verification of Parametric Specifications with Complex Topologies
Johannes Faber
Carsten Ihlemann
Swen Jacobs
Viorica Sofronie-Stokkermans
Published in:
CoRR (2010)
Keyphrases
</>
high level
complex systems
complex data
databases
neural network
real world
genetic algorithm
metadata
decision trees
reinforcement learning
information technology
delay insensitive