Karl Iagnemma (Nutonomy): "Autonomous vehicle regulations should encourage fair competition"

Nutonomy is using formal logic for their decision-making. Does anybody know more about it? I don’t understand what is formal logic and how is it different from finite state machine.

1 Like

I think “formal logic” may just be another name for a rules-based system? See this article.

1 Like