Formal Analysis of Hybrid Systems Using Feature Indented Assertions.

Antonio Anastasio Bruto da Costa Pallab Dasgupta

Published in: CoRR (2017)

Keyphrases

formal analysis
hybrid systems
meta learning
intelligent systems
black box
neural network
soft computing
artificial intelligence
discrete event
computational intelligence
formal methods
agent model
ban logic
learning tasks
feature vectors
knowledge base
knowledge based systems
evolutionary algorithm
machine learning