|
[OOT22]
Lisa Oakley, Alina Oprea and Stavros Tripakis.
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems.
In Proc. IEEE 35th Computer Security Foundations Symposium (CSF'22).
2022.
[Presents a framework for adversarial robustness in Markov models, using PRISM to perform model checking.]
|
|
Links:
[Google]
[Google Scholar]
|