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

Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman

Browse the full FMICS paper archive.