Andrej Kiviriga

According to our database, Andrej Kiviriga authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems.

Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

2022

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

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems.

Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

Randomized Refinement Checking of Timed I/O Automata.

Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020