"Run-Time Optimization for Learned Controllers Through Quantitative Games."

Guy Avni et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics