Construct the probabilistic shield Sample Clauses

Construct the probabilistic shield. Using probabilistic model check- ing, the shield is computed from the safety-relevant MDP and the safety specifi- cation. For any state and any possible decision, the synthesis procedure computes precise probabilities for violating the safety specification. Based on these values and δ, the shield considers all actions inducing a too large risk to be wrong.