default author photo

Lingxiang Fan

Tsinghua University

Beijing, 100084

China

  • Tsinghua University

SCHOLARLY PAPERS

1

DOWNLOADS

73

TOTAL CITATIONS

0

Scholarly Papers (1)

Actions:
Email selected abstracts
1.

A Provable Safety Metric for Autonomous Driving via Deep Reinforcement Learning and PAC Verification

Number of pages: 23 Posted: 20 Sep 2025
Lingxiang Fan, Linxuan He and Shuo Feng
Tsinghua University, Tsinghua University and Tsinghua University
Downloads 73 (891,180)

Abstract:

Loading...

autonomous driving, safety metric, risk-based set partition, probably approximately correct, deep reinforcement learning