Joint differentiable optimization and verification for certified reinforcement learning

Y Wang, S Zhan, Z Wang, C Huang, Z Wang… - Proceedings of the …, 2023 - dl.acm.org
Model-based reinforcement learning has been widely studied for controller synthesis in
cyber-physical systems (CPSs). In particular, for safety-critical CPSs, it is important to …

Reduced policy optimization for continuous control with hard constraints

S Ding, J Wang, Y Du, Y Shi - Advances in Neural …, 2024 - proceedings.neurips.cc
Recent advances in constrained reinforcement learning (RL) have endowed reinforcement
learning with certain safety guarantees. However, deploying existing constrained RL …

Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems

Y Wang, W Zhou, J Fan, Z Wang, J Li… - … on Computer-Aided …, 2023 - ieeexplore.ieee.org
Neural networks (NNs) playing the role of controllers have demonstrated impressive
empirical performance on challenging control problems. However, the potential adoption of …

Learning adaptive safety for multi-agent systems

L Berducci, S Yang, R Mangharam, R Grosu - arXiv preprint arXiv …, 2023 - arxiv.org
Ensuring safety in dynamic multi-agent systems is challenging due to limited information
about the other agents. Control Barrier Functions (CBFs) are showing promise for safety …

Learning local control barrier functions for safety control of hybrid systems

S Yang, Y Chen, X Yin, R Mangharam - arXiv preprint arXiv:2401.14907, 2024 - arxiv.org
Hybrid dynamical systems are ubiquitous as practical robotic applications often involve both
continuous states and discrete switchings. Safety is a primary concern for hybrid robotic …

Safe Reinforcement Learning on the Constraint Manifold: Theory and Applications

P Liu, H Bou-Ammar, J Peters, D Tateo - arXiv preprint arXiv:2404.09080, 2024 - arxiv.org
Integrating learning-based techniques, especially reinforcement learning, into robotics is
promising for solving complex problems in unstructured environments. However, most …

Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task

Q Wu, SS Zhan, Y Wang, CW Lin, C Lv, Q Zhu… - arXiv preprint arXiv …, 2024 - arxiv.org
Reinforcement learning is challenging in delayed scenarios, a common real-world situation
where observations and interactions occur with delays. State-of-the-art (SOTA) state …

Cloud and Edge Computing for Connected and Automated Vehicles

Q Zhu, B Yu, Z Wang, J Tang, QA Chen… - … and Trends® in …, 2023 - nowpublishers.com
The recent development of cloud computing and edge computing shows great promise for
the Connected and Automated Vehicle (CAV), by enabling CAVs to offload their massive on …

[PDF][PDF] Risk-Aware Constrained Reinforcement Learning with Non-Stationary Policies

Z Yang, H Jin, Y Tang, G Fan - … of the 23rd International Conference on …, 2024 - ifaamas.org
Constrained reinforcement learning (RL) algorithms have attracted extensive attentions
nowadays to tackle sequential decision-making problems that contain constraints defined …

Autonomous Driving via Knowledge-Enhanced Safe Reinforcement Learning

C Wang, L Wang, Z Lu, S Zhou, C Wu… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Recently, the autonomous driving technology is at a critical phase evolving from typical,
closed scenarios to largescale, open driving scenarios, which is challenged by the diversity …