Statistical Reachability Analysis.

Seongmin Lee Marcel Böhme

Published in: ESEC/SIGSOFT FSE (2023)

Keyphrases

reachability analysis
model checking
markov decision processes
data driven
statistical information
computational complexity
real time
state space
statistical analysis
incremental algorithms