Randomized reachability analysis in UPPAAL: fast error detection in timed systems A Kiviriga, KG Larsen, U Nyman International Journal on Software Tools for Technology Transfer 24 (6), 1025 …, 2022 | 7 | 2022 |
Monte Carlo Tree Search for Priced Timed Automata PG Jensen, A Kiviriga, K Guldstrand Larsen, U Nyman, A Mijačika, ... International Conference on Quantitative Evaluation of Systems, 381-398, 2022 | 3 | 2022 |
Efficient model checking: The power of randomness A Kiviriga | 2 | 2023 |
Randomized refinement checking of timed I/O automata A Kiviriga, KG Larsen, U Nyman Dependable Software Engineering. Theories, Tools, and Applications: 6th …, 2020 | 2 | 2020 |
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems A Kiviriga, KG Larsen, D Nickovic, U Nyman International Conference on Formal Modeling and Analysis of Timed Systems …, 2023 | | 2023 |
Usage-aware Falsification Testing for CPS A Kiviriga, KG Larsen, D Nickovic, U Nyman | | |