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

von Kiviriga, Andrej
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)

Randomized Refinement Checking of Timed I/O Automata

von Kiviriga, Andrej
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)

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

von Kiviriga, Andrej
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

Monte Carlo Tree Search for Priced Timed Automata

von Jensen, Peter Gjøl
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)