Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems.

Viorica Sofronie-Stokkermans

Published in: CADE (2013)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
meta learning
discrete event
computational intelligence
soft computing
artificial intelligence
knowledge base
knowledge representation
feature selection
fuzzy logic
workflow systems
web services
first order logic