Impressions from the robotics world
I have been interacting with a bunch of robotics people lately, so as to learn what’s going on there regarding verification. This post is a (somewhat disorganized) summary of what I learned. I did this detective work on your behalf, gentle reader, by: Talking to a bunch of robotics-related academics here in Israel Going to … More Impressions from the robotics world