Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems.

Lisa Oakley Alina Oprea Stavros Tripakis

Published in: CoRR (2021)

Keyphrases

stochastic systems
conservation laws
stochastic models
confidence intervals
sample path
model checking
lower bound
sample size
monte carlo