SLIDE 1
Self-Driving Vehicle Verification Towards a Benchmark
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee University of Pennsylvania
July 13, 2018
- July 13, 2018
2
Self-Driving Vehicle Verification Towards a Benchmark Nima Roohi, - - PowerPoint PPT Presentation
Self-Driving Vehicle Verification Towards a Benchmark Nima Roohi, - - PowerPoint PPT Presentation
Self-Driving Vehicle Verification Towards a Benchmark Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee University of Pennsylvania July 13, 2018 Winter of AI for Autonomous Vehicles July 13, 2018 2 Winter of AI for
SLIDE 2
SLIDE 3
- July 13, 2018
3
Winter of AI for Autonomous Vehicles
SLIDE 4
- System Specification
– Finite set of cars – Only move forward – Driving on a straight road
- Five Verification Challenges
– (Robust) Safety – (Robust) Liveness – Responsibility Sensitive Safety
- Current State of the Automatic Formal Verification Tools
– Unable to specify any of these problems
July 13, 2018 4
Outline
SLIDE 5
- July 13, 2018
5
Position and Delay Signals
SLIDE 6
- July 13, 2018
6
Minimum Longitudinal Distance Signal
SLIDE 7
- July 13, 2018
7
Dangerous Longitudinal Situation Signal
SLIDE 8
- July 13, 2018
8
Blame Time Signal
SLIDE 9
- July 13, 2018
9
Policy
SLIDE 10
- System Specification
– Finite set of cars – Only move forward – Driving on a straight road
- Verification Challenges
– (Robust) Safety – (Robust) Liveness – Responsibility Sensitive Safety
- Current State of the Automatic Formal Verification Tools
– Unable to specify any of these problems
July 13, 2018 10
Outline
SLIDE 11
- July 13, 2018
11
Safety
SLIDE 12
- July 13, 2018
12
Robustly Safe and Robustly Unsafe
SLIDE 13
- (robust) Liveness:
– Something good will eventually happen
- RSS:
– In case of an accident there will be a responsible party
July 13, 2018 13
(Robust) Liveness and Responsibility Sensitive Safety
SLIDE 14
- System Specification
– Finite set of cars – Only move forward – Driving on a straight road
- Verification Challenges
– (Robust) Safety – (Robust) Liveness – Responsibility Sensitive Safety
- Current State of the Automatic Formal Verification Tools
– Unable to specify any of these problems
July 13, 2018 14
Outline
SLIDE 15
July 13, 2018 15
Tools
- We cannot even specify these challenges using these
tools
– marks when a tool fails – White cells do not guarantee a feature support
SLIDE 16
- Delay is made explicit in dynamics and policy
- Computation of blame time signal is slightly changed
- Policy is (slightly) changed
July 13, 2018 16