1A path from autonomy V&V to AGI alignment? (opens in new tab)(lesswrong.com)1yoav_hollander11mo ago0Save
2The V&V method – A step towards safer AGI (opens in new tab)(lesswrong.com)1yoav_hollander1y ago0Save
3About “The coming AI hackers” paper (opens in new tab)(blog.foretellix.com)1yoav_hollander5y ago0Save
4Estimating the residual risk of ADAS/AV (opens in new tab)(blog.foretellix.com)1yoav_hollander5y ago0Save
6Autonomy markets and their potential bugs (opens in new tab)(blog.foretellix.com)2yoav_hollander6y ago0Save
7M-SDL, the autonomous vehicles verification language, is now open (opens in new tab)(blog.foretellix.com)2yoav_hollander6y ago0Save
8Why testing the typical is not enough for Autonomous Vehicles (opens in new tab)(blog.foretellix.com)1yoav_hollander7y ago0Save
9Don't Stay in Monte Carlo (for Autonomous Vehicles Verification) (opens in new tab)(blog.foretellix.com)1yoav_hollander7y ago0Save
10Moving from autonomous vehicles verification to regulation (opens in new tab)(blog.foretellix.com)1yoav_hollander7y ago0Save
11Bridging autonomous vehicles verification and regulation (opens in new tab)(blog.foretellix.com)1yoav_hollander7y ago0Save
12Running autonomous vehicle scenarios: Some problems (opens in new tab)(foretellix.wordpress.com)1yoav_hollander8y ago0Save
13What to do about the next 500 fatal autonomous vehicle crashes (opens in new tab)(blog.foretellix.com)3yoav_hollander8y ago0Save
14What to do about the next 500 serious AV accidents (opens in new tab)(blog.foretellix.com)1yoav_hollander8y ago0Save
15The Uber accident and the bigger picture (opens in new tab)(blog.foretellix.com)1yoav_hollander8y ago0Save
