4 ms·

I know at least one autonomous vehicle company is using it as their base OS in the autonomy stack, with efforts at extending some form of verification up to the

I know at least one autonomous vehicle company is using it as their base OS in the autonomy stack, with efforts at extending some form of verification up to the high level code.

tombert 1y ago
That's cool as hell! I didn't know that but it makes me happy to see it getting a bit more love.