Counter-Example Guided Predicate Abstraction of Hybrid Systems.

Rajeev Alur Thao Dang Franjo Ivancic

Published in: TACAS (2003)

Keyphrases

hybrid systems
black box
intelligent systems
neural network
soft computing
meta learning
computational intelligence
artificial intelligence
discrete event
first order logic
machine learning
reinforcement learning
artificial neural networks
evolutionary algorithm
semi supervised
simulation model