| 1. | | A path from autonomy V&V to AGI alignment? (lesswrong.com) |
| 1 point by yoav_hollander 7 months ago | past |
|
| 2. | | The V&V method – A step towards safer AGI (lesswrong.com) |
| 1 point by yoav_hollander 8 months ago | past |
|
| 3. | | About “The coming AI hackers” paper (foretellix.com) |
| 1 point by yoav_hollander on April 24, 2021 | past |
|
| 4. | | Estimating the residual risk of ADAS/AV (foretellix.com) |
| 1 point by yoav_hollander on Feb 1, 2021 | past |
|
| 5. | | GPT-3 and Verification (foretellix.com) |
| 1 point by yoav_hollander on July 20, 2020 | past |
|
| 6. | | Autonomy markets and their potential bugs (foretellix.com) |
| 2 points by yoav_hollander on March 24, 2020 | past |
|
| 7. | | M-SDL, the autonomous vehicles verification language, is now open (foretellix.com) |
| 2 points by yoav_hollander on Sept 23, 2019 | past |
|
| 8. | | Why testing the typical is not enough for Autonomous Vehicles (foretellix.com) |
| 1 point by yoav_hollander on Jan 26, 2019 | past |
|
| 9. | | Don't Stay in Monte Carlo (for Autonomous Vehicles Verification) (foretellix.com) |
| 1 point by yoav_hollander on Jan 25, 2019 | past |
|
| 10. | | Moving from autonomous vehicles verification to regulation (foretellix.com) |
| 1 point by yoav_hollander on Dec 10, 2018 | past |
|
| 11. | | Bridging autonomous vehicles verification and regulation (foretellix.com) |
| 1 point by yoav_hollander on Dec 8, 2018 | past |
|
| 12. | | Running autonomous vehicle scenarios: Some problems (foretellix.wordpress.com) |
| 1 point by yoav_hollander on June 25, 2018 | past |
|
| 13. | | What to do about the next 500 fatal autonomous vehicle crashes (foretellix.com) |
| 3 points by yoav_hollander on April 1, 2018 | past |
|
| 14. | | What to do about the next 500 serious AV accidents (foretellix.com) |
| 1 point by yoav_hollander on March 28, 2018 | past |
|
| 15. | | The Uber accident and the bigger picture (foretellix.com) |
| 1 point by yoav_hollander on March 27, 2018 | past |
|
| 16. | | How to write autonomous vehicle scenarios (foretellix.com) |
| 1 point by yoav_hollander on Jan 16, 2018 | past |
|
| 17. | | Verifying how autonomous vehicles behave *during* accidents (foretellix.com) |
| 2 points by yoav_hollander on Nov 4, 2017 | past |
|
| 18. | | Verifying how autonomous vehicles behave *during* accidents (foretellix.com) |
| 1 point by yoav_hollander on Nov 3, 2017 | past |
|
| 19. | | On Mobileye's formal model of autonomous vehicle safety (foretellix.com) |
| 1 point by yoav_hollander on Oct 30, 2017 | past |
|
| 20. | | Using program induction for verification – will this work? (foretellix.com) |
| 2 points by yoav_hollander on Oct 14, 2017 | past |
|
| 21. | | Autonomous vehicle verification updates: Waymo, Apple and more (foretellix.com) |
| 1 point by yoav_hollander on Aug 28, 2017 | past |
|
| 22. | | Autonomous vehicle verification updates: Waymo, Apple and more (foretellix.com) |
| 1 point by yoav_hollander on Aug 27, 2017 | past |
|
| 23. | | What's new in autonomous vehicle verification – part two (foretellix.com) |
| 1 point by yoav_hollander on July 19, 2017 | past |
|
| 24. | | What's new in autonomous vehicle verification – part two (foretellix.com) |
| 3 points by yoav_hollander on July 18, 2017 | past |
|
| 25. | | Where machine learning meets rule-based systems (foretellix.com) |
| 140 points by yoav_hollander on July 7, 2017 | past | 37 comments |
|
| 26. | | Where machine learning meets rules (foretellix.com) |
| 1 point by yoav_hollander on July 6, 2017 | past |
|
| 27. | | Dynamic verification (of anything) in one picture (foretellix.com) |
| 2 points by yoav_hollander on July 1, 2017 | past |
|
| 28. | | What's new in autonomous vehicle verification (foretellix.com) |
| 30 points by yoav_hollander on June 27, 2017 | past |
|
| 29. | | DeepXplore and new ideas for verifying ML systems (foretellix.com) |
| 4 points by yoav_hollander on June 10, 2017 | past | 1 comment |
|
| 30. | | Some papers about autonomous vehicles verification (foretellix.com) |
| 1 point by yoav_hollander on May 3, 2017 | past |
|
|
| More |
