Submissions by yoav_hollander

About “The coming AI hackers” paper

Estimating the residual risk of ADAS/AV

GPT-3 and Verification

Autonomy markets and their potential bugs

M-SDL, the autonomous vehicles verification language, is now open

Why testing the typical is not enough for Autonomous Vehicles

Don't Stay in Monte Carlo (for Autonomous Vehicles Verification)

Moving from autonomous vehicles verification to regulation

Bridging autonomous vehicles verification and regulation

Running autonomous vehicle scenarios: Some problems

What to do about the next 500 fatal autonomous vehicle crashes

What to do about the next 500 serious AV accidents

The Uber accident and the bigger picture

How to write autonomous vehicle scenarios

Verifying how autonomous vehicles behave *during* accidents

Verifying how autonomous vehicles behave *during* accidents

On Mobileye's formal model of autonomous vehicle safety

Using program induction for verification – will this work?

Autonomous vehicle verification updates: Waymo, Apple and more

Autonomous vehicle verification updates: Waymo, Apple and more

What's new in autonomous vehicle verification – part two

What's new in autonomous vehicle verification – part two