Sign in
Run-Time Optimization for Learned Controllers Through Quantitative Games.
Guy Avni
Roderick Bloem
Krishnendu Chatterjee
Thomas A. Henzinger
Bettina Könighofer
Stefan Pranger
Published in:
CAV (1) (2019)
Keyphrases
</>
global optimization
optimization method
optimization problems
optimization algorithm
qualitative and quantitative
optimization methods
educational games
constrained optimization
real time
data sets
neural network
machine learning
genetic algorithm
multi objective
game theory
weighted majority