Stories by yoav_hollander

A path from autonomy V&V to AGI alignment?

The V&V method – A step towards safer AGI

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?

1