For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You