Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments
Published in International Conference on Machine Learning (ICML), 2023
Publications
You can also find my articles on my Google Scholar profile.
Selected Papers (Updating)
Joint Differential Optimization and Verification for Certified Reinforcement Learning
Published in International Conference on Cyber-Physical Systems (ICCPS), 2023
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
Published in International Symposium on Automated Technology for Verification and Analysis (ATVA), 2022
Efficient global robustness certification of neural networks via interleaving twin-network encoding
Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022