Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems.

Lisa Oakley Alina Oprea Stavros Tripakis

Published in: CSF (2022)

Keyphrases

stochastic systems
stochastic models
conservation laws
sample path
confidence intervals
model checking
state space
control system
stochastic model