Robust Probabilistic Model Checking

Robust probabilistic model checking over continuous reward domains.

Last updated Read time 1 min Area Computer Science

Highlight

Robust probabilistic model checking with continuous reward domains

Paper

Paper Link

Model

Probabilistic models with rewards defined over continuous domains.

Method

Robust verification of reward properties by tracking satisfaction margins across continuous reward perturbations.