Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems.

Ratan Lal Pavithra Prabhakar

Published in: ACM Trans. Embed. Comput. Syst. (2019)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
discrete event
neural network
computational intelligence
artificial intelligence
soft computing
bayesian networks
fuzzy logic
decision making
training data
orders of magnitude