_id,doi,title
6462,10.1007/978-3-030-25540-4_36,Run-time optimization for learned controllers through quantitative games
6493,10.1007/978-3-030-25540-4_16,Membership-based synthesis of linear hybrid automata