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 …

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 …

Waving the double-edged sword: Building resilient cavs with edge and cloud computing

X Liu, Y Luo, A Goeckner, T Chakraborty… - 2023 60th ACM/IEEE …, 2023 - ieeexplore.ieee.org
The rapid advancement of edge and cloud computing platforms, vehicular ad-hoc networks,
and machine learning techniques have brought both opportunities and challenges for next …

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 …

State-wise safe reinforcement learning with pixel observations

SS Zhan, Y Wang, Q Wu, R Jiao, C Huang… - arXiv preprint arXiv …, 2023 - arxiv.org
Reinforcement Learning (RL) in the context of safe exploration has long grappled with the
challenges of the delicate balance between maximizing rewards and minimizing safety …

Connectivity enhanced safe neural network planner for lane changing in mixed traffic

X Liu, R Jiao, B Zheng, D Liang, Q Zhu - arXiv preprint arXiv:2302.02513, 2023 - arxiv.org
Connectivity technology has shown great potentials in improving the safety and efficiency of
transportation systems by providing information beyond the perception and prediction …

Empowering Autonomous Driving with Large Language Models: A Safety Perspective

Y Wang, R Jiao, C Lang, SS Zhan, C Huang… - arXiv preprint arXiv …, 2023 - arxiv.org
Autonomous Driving (AD) faces crucial hurdles for commercial launch, notably in the form of
diminished public trust and safety concerns from long-tail unforeseen driving scenarios. This …

Interactive trajectory planner for mandatory lane changing in dense non-cooperative traffic

X Liu, J Chen, S Li, Y Zhang, H Yu, F Huang… - arXiv preprint arXiv …, 2023 - arxiv.org
When the traffic stream is extremely congested and surrounding vehicles are not
cooperative, the mandatory lane changing can be significantly difficult. In this work, we …

[HTML][HTML] 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 …