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

Research output

Research output per year 2021 2021 2023 2023

• 7 Citations
• 1 Article in proceeding
• 1 PhD thesis (Degree Awarded)

Research output per year

Research output per year

Search results

• 2023

  Efficient Model Checking: The Power of Randomness

  Kiviriga, A., 2023, Aalborg Universitetsforlag. 153 p.

  Research output: PhD thesis (Degree Awarded)

  Open Access

  File

  783 Downloads (Pure)