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 …

Learning representation for anomaly detection of vehicle trajectories

R Jiao, J Bai, X Liu, T Sato, X Yuan… - 2023 IEEE/RSJ …, 2023 - ieeexplore.ieee.org
Predicting the future trajectories of surrounding vehicles based on their history trajectories is
a critical task in autonomous driving. However, when small crafted perturbations are …

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 …

Safety-assured speculative planning with adaptive prediction

X Liu, R Jiao, Y Wang, Y Han… - 2023 IEEE/RSJ …, 2023 - ieeexplore.ieee.org
Recently significant progress has been made in vehicle prediction and planning algorithms
for autonomous driving. However, it remains quite challenging for an autonomous vehicle to …

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 …

Safety-driven interactive planning for neural network-based lane changing

X Liu, R Jiao, B Zheng, D Liang, Q Zhu - … of the 28th Asia and South …, 2023 - dl.acm.org
Neural network-based driving planners have shown great promises in improving task
performance of autonomous driving. However, it is critical and yet very challenging to ensure …

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 …

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 …

Semi-supervised Semantics-guided Adversarial Training for Robust Trajectory Prediction

R Jiao, X Liu, T Sato, QA Chen… - Proceedings of the IEEE …, 2023 - openaccess.thecvf.com
Predicting the trajectories of surrounding objects is a critical task for self-driving vehicles and
many other autonomous systems. Recent works demonstrate that adversarial attacks on …

Kinematics-aware trajectory generation and prediction with latent stochastic differential modeling

R Jiao, Y Wang, X Liu, C Huang, Q Zhu - arXiv preprint arXiv:2309.09317, 2023 - arxiv.org
Trajectory generation and trajectory prediction are two critical tasks for autonomous
vehicles, which generate various trajectories during development and predict the trajectories …