Author of the publication

Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.

, , , , , , , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems., , , , , and . ICCD, page 217-226. IEEE, (2019)Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)., , and . IJCAI, page 6498-6503. ijcai.org, (2023)Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments., , , , , , , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 36593-36604. PMLR, (2023)Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper., , , , , , , , , and 1 other author(s). ICCAD, page 82:1-82:9. IEEE, (2020)Design Automation for Intelligent Automotive Systems., , , , , and . ITC, page 1-10. IEEE, (2018)A Tool for Neural Network Global Robustness Certification and Training., , , , , , and . CoRR, (2022)Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees., , , , and . CoRR, (2021)Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees., , , and . ICCAD, page 101:1-101:9. IEEE, (2020)Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems., , , , , and . DAC, page 1-6. IEEE, (2020)Distributed Multi-agent Video Fast-forwarding., , , , and . ACM Multimedia, page 1075-1084. ACM, (2020)