This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Spec Illustration The ERATO MMSD project is developing tools to apply formal logic to industrial applications, notably self-driving vehicles. In order for it to see adoption in industry, it is deemed paramount to make formal logic more intuitive to lay people. As part of my wor... Continue reading this post →
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.