Seguir
Andrej Kiviriga
Andrej Kiviriga
PhD Student, Aalborg University
Dirección de correo verificada de cs.aau.dk
Título
Citado por
Citado por
Año
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
42022
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
22022
Randomized refinement checking of timed I/O automata
A Kiviriga, KG Larsen, U Nyman
Dependable Software Engineering. Theories, Tools, and Applications: 6th …, 2020
22020
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
Efficient Model Checking: The Power of Randomness
A Kiviriga
Aalborg Universitetsforlag, 2023
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5