Login / Signup
Randomized reachability analysis in UPPAAL: fast error detection in timed systems.
Andrej Kiviriga
Kim Guldstrand Larsen
Ulrik Nyman
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
timed automata
reachability analysis
error detection
model checking
error correction
distributed systems
sufficient conditions
complex systems
real time systems
real time
multi agent
intelligent systems
theorem prover
fault isolation