Login / Signup
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