Efficient proactive adaptation using pre-deployment test data R code: contains the code used for the proactive efficient adaptation R code/violationMap: code for the calculation of the violation map data: contains all data obtained from daily operations of the warehouse robot scenario gen_files: generated output files and intermidiate files for plots plots: code used for the plots prismModel: paramtric Discrete Time Markov Chain (pDTMC) model and properties used for the parametric model checking (PMC) warehouse robot scenario
