Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems

Lisa Oakley, Alina Oprea, Stavros Tripakis

Probabilistic model checking is a useful technique for specifying and verifying properties of stochastic systems including randomized protocols and reinforcement learning models. E…