Randomized Refinement Checking of Timed I/O Automata. - Andrej Kiviriga; Kim Guldstrand Larsen; Ulrik Nyman (SETTA, 2020)

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)

Randomized reachability analysis in UPPAAL: fast error detection in timed systems. - Andrej Kiviriga; Kim Guldstrand Larsen; Ulrik Nyman (Int. J. Softw. Tools Technol. Transf., 2022)

Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. - Andrej Kiviriga; Kim Guldstrand Larsen; Dejan Nickovic; Ulrik Nyman (FORMATS, 2023)