HNHacker News
TopNewBestAskShowJobs

yoav_hollander

182 karma · joined August 11, 2015

submissionscomments

Mobileye, simulations and test tracks

blog.foretellix.com·4 pts·yoav_hollander·
0

Formal verification of really-complex systems

blog.foretellix.com·1 pts·yoav_hollander·
0

The Oscars bug and verification

blog.foretellix.com·1 pts·yoav_hollander·
0

Verifying interactions between autonomous vehicles and people

blog.foretellix.com·1 pts·yoav_hollander·
0

Verifying interactions between AVs and people

blog.foretellix.com·2 pts·yoav_hollander·
0

The “Synthetic Sensor Input” Problem in AV Verification

blog.foretellix.com·1 pts·yoav_hollander·
0

Verification, coverage and maximization: The big picture

blog.foretellix.com·1 pts·yoav_hollander·
0

Verification, coverage and maximization: The big picture

blog.foretellix.com·1 pts·yoav_hollander·
0

The verification gap, ML training and more

blog.foretellix.com·2 pts·yoav_hollander·
0

Verification implications of the new US AV policy

blog.foretellix.com·1 pts·yoav_hollander·
0

Verification implications of the new US Autonomous Vehicles policy

blog.foretellix.com·1 pts·yoav_hollander·
0

Using Machine Learning to Verify Machine Learning?

blog.foretellix.com·2 pts·yoav_hollander·
0

Using Machine Learning to Verify Machine Learning?

blog.foretellix.com·2 pts·yoav_hollander·
0

Machine Learning Verification and Explainable AI

blog.foretellix.com·3 pts·yoav_hollander·
0

Machine Learning Verification and Explainable AI

blog.foretellix.com·2 pts·yoav_hollander·
0

The Tesla crash, Tsunamis and spec errors

blog.foretellix.com·1 pts·yoav_hollander·
0

Trying to understand automation and unemployment

blog.foretellix.com·1 pts·yoav_hollander·
0

Finding bugs in autonomous vehicles

blog.foretellix.com·2 pts·yoav_hollander·
0

Finding bugs in autonomous vehicles

blog.foretellix.com·3 pts·yoav_hollander·
0

Automation and unemployment are coming, but I guess we’ll manage

blog.foretellix.com·2 pts·yoav_hollander·
0

The next 20 years of automation

blog.foretellix.com·2 pts·yoav_hollander·
0

The next 20 years of automation

blog.foretellix.com·1 pts·yoav_hollander·
0

The rise of mostly-autonomous systems

blog.foretellix.com·37 pts·yoav_hollander·
6

The rise of mostly-autonomous systems

blog.foretellix.com·3 pts·yoav_hollander·
0

Is a Universal Verification Framework possible?

blog.foretellix.com·1 pts·yoav_hollander·
0

It’s the spec bugs that kill you

blog.foretellix.com·67 pts·yoav_hollander·
38
← PreviousPage 2 of 2