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

Andrej Kiviriga Kim Guldstrand Larsen Ulrik Nyman

Published in: FMICS (2021)

Keyphrases

timed automata
reachability analysis
error detection
model checking
error correction
distributed systems
intelligent systems
markov decision processes
temporal logic
theorem proving
error recovery
metadata
first order logic