yoav_hollander | Dark Hacker News

user:	yoav_hollander
created:	August 11, 2015
karma:	182

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