CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation.

Brandon Bohrer Adriel Luo Xue An Chuang André Platzer

Published in: ADHS (2018)

Keyphrases

hybrid systems
black box
neural network
meta learning
intelligent systems
computational intelligence
soft computing
discrete event
artificial intelligence
case study
data mining
e learning
feature space
multi class
simulation model