Andrej Kiviriga

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Reachability Analysis

First Order Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS (2023)
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Randomized reachability analysis in UPPAAL: fast error detection in timed systems. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen
Monte Carlo Tree Search for Priced Timed Automata. QEST (2022)
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. FMICS (2021)
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Randomized Refinement Checking of Timed I/O Automata. SETTA (2020)