Verification via Digitized Models of Real-Time Hybrid Systems.

Dang Van Hung Ko Kwang Il

Published in: APSEC (1996)

Keyphrases

hybrid systems
real time
black box
computational intelligence
discrete event
learning algorithm
decision making
reinforcement learning
expert systems
active learning
intelligent systems
naive bayes
machine learning algorithms
complex systems