Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales

Zhi et al. "Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I18.29976

[Zhi et al. "Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/zhi2024aaai-robustness/) doi:10.1609/AAAI.V38I18.29976

@inproceedings{zhi2024aaai-robustness,
  title     = {{Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales}},
  author    = {Zhi, Dapeng and Wang, Peixin and Chen, Cheng and Zhang, Min},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {19992-20000},
  doi       = {10.1609/AAAI.V38I18.29976},
  url       = {https://mlanthology.org/aaai/2024/zhi2024aaai-robustness/}
}