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.
Comments are closed.