Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen +1 more
2/12/2026

No confident code implementation found for this paper.

DOISemantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{tian2026boosting,
  title  = {Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks},
  author = {Jiaxu Tian and Dapeng Zhi and Si Liu and Peixin Wang and Cheng Chen and Min Zhang},
  year   = {2026},
  doi    = {10.52202/075280-0438},
  url    = {https://doi.org/10.52202/075280-0438},
  journal = {NEURIPS 2023 2023}
}

Discussion