Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by yoav_hollander

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

Home

Home Newest Best Ask Show Jobs

Resources

HackerNews API Original HackerNews Next.js

© 2025 TechEcho. All rights reserved.

1

Where machine learning meets rule-based systems

140 pointsby yoav_hollanderalmost 8 years ago

2

Where machine learning meets rules

1 pointsby yoav_hollanderalmost 8 years ago

3

Dynamic verification (of anything) in one picture

2 pointsby yoav_hollanderalmost 8 years ago

4

What's new in autonomous vehicle verification

30 pointsby yoav_hollanderalmost 8 years ago

5

DeepXplore and new ideas for verifying ML systems

4 pointsby yoav_hollanderalmost 8 years ago

6

Some papers about autonomous vehicles verification

1 pointsby yoav_hollanderabout 8 years ago

7

Mobileye, simulations and test tracks

4 pointsby yoav_hollanderabout 8 years ago

8

Formal verification of really-complex systems

1 pointsby yoav_hollanderabout 8 years ago

9

The Oscars bug and verification

1 pointsby yoav_hollanderabout 8 years ago

10

Verifying interactions between autonomous vehicles and people

1 pointsby yoav_hollanderover 8 years ago

11

Verifying interactions between AVs and people

2 pointsby yoav_hollanderover 8 years ago

12

The “Synthetic Sensor Input” Problem in AV Verification

1 pointsby yoav_hollanderover 8 years ago

13

Verification, coverage and maximization: The big picture

1 pointsby yoav_hollanderover 8 years ago

14

Verification, coverage and maximization: The big picture

1 pointsby yoav_hollanderover 8 years ago

15

The verification gap, ML training and more

2 pointsby yoav_hollanderover 8 years ago

16

Verification implications of the new US AV policy

1 pointsby yoav_hollanderover 8 years ago

17

Verification implications of the new US Autonomous Vehicles policy

1 pointsby yoav_hollanderover 8 years ago

← Previous Next →