Randomized reachability analysis in UPPAAL: fast error detection in timed systems*

Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

1 Citation (Scopus)

27 Downloads (Pure)

1 Citations
1 Article in proceeding
1 PhD thesis

2 results

Article in proceeding
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems
Kiviriga, A., Larsen, K. G. & Nyman, U., 2021, Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer Science+Business Media, p. 149-166 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12863 LNCS).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File
1 Citation (Scopus)

97 Downloads (Pure)
PhD thesis

Efficient Model Checking: The Power of Randomness
Kiviriga, A., 2023, Aalborg Universitetsforlag. 153 p.
Research output: PhD thesis

Open Access
File

98 Downloads (Pure)