DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-25540-4_36,6462,"ToHe,KrCh",Run-time optimization for learned controllers through quantitative games