Verifying Hybrid Systems with Modal Kleene Algebra.

Jonathan Julián Huerta y Munive Georg Struth

Published in: RAMiCS (2018)

Keyphrases

hybrid systems
soft computing
neural network
computational intelligence
black box
intelligent systems
meta learning
discrete event
propositional logic
query language
artificial intelligence
fuzzy logic
data model
decision trees
training data
feature selection
machine learning