Randomized Methods

The following papers use randomized methods for model checking.

• SETTA 2020: Randomized Refinement Checking of Timed I/O Automata (.pdf)
• FMICS 2021: Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems (.pdf)
• QEST 2022: Monte Carlo Tree Search for Priced Timed Automata (.pdf)
• STTT 2022: Randomized reachability analysis in UPPAAL: fast error detection in timed systems* (.pdf)
  • Extended journal version of the FMICS 2021 paper.