HN Explorer

yoav_hollander

↗ HN profile [ 79.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A path from autonomy V&V to AGI alignment? (lesswrong.com)
    1 points 0
  2. The V&V method – A step towards safer AGI (lesswrong.com)
    1 points 0
  3. About “The coming AI hackers” paper (blog.foretellix.com)
    1 points 0
  4. Estimating the residual risk of ADAS/AV (blog.foretellix.com)
    1 points 0
  5. GPT-3 and Verification (blog.foretellix.com)
    1 points 0
  6. Autonomy markets and their potential bugs (blog.foretellix.com)
    2 points 0
  7. M-SDL, the autonomous vehicles verification language, is now open (blog.foretellix.com)
    2 points 0
  8. Why testing the typical is not enough for Autonomous Vehicles (blog.foretellix.com)
    1 points 0
  9. Don't Stay in Monte Carlo (for Autonomous Vehicles Verification) (blog.foretellix.com)
    1 points 0
  10. Moving from autonomous vehicles verification to regulation (blog.foretellix.com)
    1 points 0
  11. Bridging autonomous vehicles verification and regulation (blog.foretellix.com)
    1 points 0
  12. Running autonomous vehicle scenarios: Some problems (foretellix.wordpress.com)
    1 points 0
  13. What to do about the next 500 fatal autonomous vehicle crashes (blog.foretellix.com)
    3 points 0
  14. What to do about the next 500 serious AV accidents (blog.foretellix.com)
    1 points 0
  15. The Uber accident and the bigger picture (blog.foretellix.com)
    1 points 0
  16. How to write autonomous vehicle scenarios (blog.foretellix.com)
    1 points 0
  17. Verifying how autonomous vehicles behave *during* accidents (blog.foretellix.com)
    2 points 0
  18. Verifying how autonomous vehicles behave *during* accidents (blog.foretellix.com)
    1 points 0
  19. On Mobileye's formal model of autonomous vehicle safety (blog.foretellix.com)
    1 points 0
  20. Using program induction for verification – will this work? (blog.foretellix.com)
    2 points 0
  21. Autonomous vehicle verification updates: Waymo, Apple and more (blog.foretellix.com)
    1 points 0
  22. Autonomous vehicle verification updates: Waymo, Apple and more (blog.foretellix.com)
    1 points 0
  23. What's new in autonomous vehicle verification – part two (blog.foretellix.com)
    1 points 0
  24. What's new in autonomous vehicle verification – part two (blog.foretellix.com)
    3 points 0
  25. Where machine learning meets rule-based systems (blog.foretellix.com)
    140 points 38