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