Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments

Y Wang, SS Zhan, R Jiao, Z Wang… - International …, 2023 - proceedings.mlr.press
It is quite challenging to ensure the safety of reinforcement learning (RL) agents in an
unknown and stochastic environment under hard constraints that require the system state …

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 …

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 …

Safety-Assured Design and Adaptation of Connected and Autonomous Vehicles

X Chen, J Fan, C Huang, R Jiao, W Li, X Liu… - Machine Learning and …, 2023 - Springer
Abstract Design and development of connected and autonomous vehicles (CAVs) are
accompanied by a growing concern over the safety of these systems. This chapter will …

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems

Q Zhu, W Li, C Huang, X Chen, W Zhou… - 2023 59th Annual …, 2023 - ieeexplore.ieee.org
Neural networks are being applied to a wide range of tasks in autonomous systems, such as
perception, prediction, planning, control, and general decision making. While they may …

Safe and secure design of connected and autonomous vehicles

X Liu - 2023 - search.proquest.com
Abstract Machine learning-based techniques have shown great promises in perception,
prediction, planning, and general decision-making for improving task performance of …