Peixin Wang
University of Oxford
H-index: 2
Europe-United Kingdom
Top articles of Peixin Wang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
arXiv preprint arXiv:2404.01769
2024/4/2
Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales
Proceedings of the AAAI Conference on Artificial Intelligence
2024/3/24
Taming reachability analysis of dnn-controlled systems via abstraction-based training
2023/12/30
Boosting verification of deep reinforcement learning via piece-wise linear decision neural networks
Advances in Neural Information Processing Systems
2023/12/15
Tail-Bound Cost Analysis over Nondeterministic Probabilistic Programs
Journal of Shanghai Jiaotong University (Science)
2023/12
Peixin Wang
H-Index: 2
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming
arXiv preprint arXiv:2307.13160
2023/7/24
Static Analysis of Posterior Inference in Bayesian Probabilistic Programming
2023/3/10