Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems.

Alexandre Donzé

Published in: CAV (2010)

Keyphrases

hybrid systems
neural network
black box
intelligent systems
meta learning
computational intelligence
discrete event
artificial intelligence
soft computing
decision trees
simulation model
inductive learning
genetic algorithm
model selection
business processes
workflow systems