Reconfiguring Hybrid Systems Using SAT.

Kaja Balzereit Oliver Niggemann

Published in: CoRR (2021)

Keyphrases

hybrid systems
black box
soft computing
intelligent systems
neural network
computational intelligence
discrete event
search problems
meta learning
artificial intelligence
search algorithm
search strategies
data mining
machine learning
decision making
particle filter