Monte Carlo Tree Search for Priced Timed Automata. - Peter Gjøl Jensen; Andrej Kiviriga; Kim Guldstrand Larsen; Ulrik Nyman; Adriana Mijacika; Jeppe Høiriis Mortensen (QEST, 2022)