Efficient global robustness certification of neural networks via interleaving twin-network encoding
Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022
Posts by Collection
publications
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
Published in International Symposium on Automated Technology for Verification and Analysis (ATVA), 2022
Joint Differential Optimization and Verification for Certified Reinforcement Learning
Published in International Conference on Cyber-Physical Systems (ICCPS), 2023
Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments
Published in International Conference on Machine Learning (ICML), 2023
teaching
COMP305 - Biocomputation
Undergraduate course, University of Liverpool, Department of Computer Science, 2021
COMP305 - Biocomputation
Undergraduate course, University of Liverpool, Department of Computer Science, 2022
COMP305 - Biocomputation
Undergraduate course, University of Liverpool, Department of Computer Science, 2023