Sledovat
Andrej Kiviriga
Andrej Kiviriga
PhD Student, Aalborg University
E-mailová adresa ověřena na: cs.aau.dk
Název
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–5