ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2201.12243
  4. Cited By
Joint Differentiable Optimization and Verification for Certified
  Reinforcement Learning
v1v2 (latest)

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning

International Conference on Cyber-Physical Systems (ICCPS), 2022
28 January 2022
Yixuan Wang
S. Zhan
Zhilu Wang
Chao Huang
Zhaoran Wang
Zhuoran Yang
Qi Zhu
ArXiv (abs)PDFHTML

Papers citing "Joint Differentiable Optimization and Verification for Certified Reinforcement Learning"

11 / 11 papers shown
Title
Learning Verifiable Control Policies Using Relaxed Verification
Learning Verifiable Control Policies Using Relaxed Verification
Puja Chaudhury
Alexander Estornell
Michael Everett
214
0
0
23 Apr 2025
Inverse Delayed Reinforcement Learning
Inverse Delayed Reinforcement Learning
S. Zhan
Qingyuan Wu
Zhian Ruan
Frank Yang
Philip Wang
Yixuan Wang
Ruochen Jiao
Chao Huang
Qi Zhu
269
0
0
04 Dec 2024
Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments
Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments
S. Zhan
Qingyuan Wu
Philip Wang
Yixuan Wang
Ruochen Jiao
Chao Huang
Qi Zhu
238
2
0
04 Oct 2024
Variational Delayed Policy Optimization
Variational Delayed Policy OptimizationNeural Information Processing Systems (NeurIPS), 2024
Qingyuan Wu
S. Zhan
Yixuan Wang
Yuhui Wang
Chung-Wei Lin
Chen Lv
Qi Zhu
Chao Huang
OffRL
172
6
0
23 May 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel
  Formulation
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
Lujie Yang
Hongkai Dai
Zhouxing Shi
Cho-Jui Hsieh
Russ Tedrake
Huan Zhang
211
29
0
11 Apr 2024
Boosting Reinforcement Learning with Strongly Delayed Feedback Through
  Auxiliary Short Delays
Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short DelaysInternational Conference on Machine Learning (ICML), 2024
Qingyuan Wu
S. Zhan
Yixuan Wang
Yuhui Wang
Chung-Wei Lin
Chen Lv
Qi Zhu
Jürgen Schmidhuber
Chao Huang
OffRL
200
4
0
05 Feb 2024
Empowering Autonomous Driving with Large Language Models: A Safety
  Perspective
Empowering Autonomous Driving with Large Language Models: A Safety Perspective
Yixuan Wang
Ruochen Jiao
Sinong Simon Zhan
Chengtian Lang
Chao Huang
Zhaoran Wang
Zhuoran Yang
Qi Zhu
387
39
0
28 Nov 2023
State-Wise Safe Reinforcement Learning With Pixel Observations
State-Wise Safe Reinforcement Learning With Pixel ObservationsConference on Learning for Dynamics & Control (L4DC), 2023
S. Zhan
Yixuan Wang
Qingyuan Wu
Ruochen Jiao
Chao Huang
Qi Zhu
298
12
0
03 Nov 2023
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement
  Learning in Unknown Stochastic Environments
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic EnvironmentsInternational Conference on Machine Learning (ICML), 2022
Yixuan Wang
S. Zhan
Ruochen Jiao
Zhilu Wang
Wanxin Jin
Zhuoran Yang
Zhaoran Wang
Chao Huang
Qi Zhu
289
64
0
29 Sep 2022
Efficient Global Robustness Certification of Neural Networks via
  Interleaving Twin-Network Encoding
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network EncodingDesign, Automation and Test in Europe (DATE), 2022
Zhilu Wang
Chao Huang
Qi Zhu
AAML
200
22
0
26 Mar 2022
Formal Verification of Unknown Dynamical Systems via Gaussian Process
  Regression
Formal Verification of Unknown Dynamical Systems via Gaussian Process RegressionIEEE Transactions on Automatic Control (IEEE TAC), 2021
John Jackson
Luca Laurenti
Eric Frew
Morteza Lahijanian
121
18
0
31 Dec 2021
1