Change the repository type filter
All
Repositories list
5 repositories
Adaptive-Testing-AIS
PublicAdaptive-Testing-SCV
PublicAdaptive-Testing-DenseRL
PublicAutoScenario
PublicPMCT-master
PublicThis project contains the source code for the paper titled "A Provable Safety Metric for Autonomous Driving via Deep Reinforcement Learning and PAC Verification". We propose a real-time automonous driving safety metric called Provable Minimum Collision Time (PMCT) that provably predict the minimum time to collision from the inputed initial state.