
Title |
|---|
![]() Variational Delayed Policy OptimizationNeural Information Processing Systems (NeurIPS), 2024 |
![]() Boosting Reinforcement Learning with Strongly Delayed Feedback Through
Auxiliary Short DelaysInternational Conference on Machine Learning (ICML), 2024 |
![]() State-Wise Safe Reinforcement Learning With Pixel ObservationsConference on Learning for Dynamics & Control (L4DC), 2023 |
![]() Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement
Learning in Unknown Stochastic EnvironmentsInternational Conference on Machine Learning (ICML), 2022 |
![]() Efficient Global Robustness Certification of Neural Networks via
Interleaving Twin-Network EncodingDesign, Automation and Test in Europe (DATE), 2022 |
![]() Formal Verification of Unknown Dynamical Systems via Gaussian Process
RegressionIEEE Transactions on Automatic Control (IEEE TAC), 2021 |