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
Some of you may be wondering about this extended silence (almost two months!). The obvious suggestions (that I entered a monastery, or that I went for an extended vacation in downtown Pyongyang) are all wrong. Nope, nothing as relaxing as that. I have been spec’ing and programming like there is no tomorrow. And it is … More What I have been doing lately
Summary: This post talks about the “bigger picture” of autonomous robot verification (beyond basic CDV stuff). It mainly discusses the challenges, not the solutions. I am in the process of creating a minimal CDV-based verification framework for autonomous robots. This framework will simply do the usual CDV stuff (constraint-based generation, checking, coverage etc.) with minimal … More The bigger picture of verifying autonomous robots
Here is another one of those multi-topic summaries: Dipping my toes into autonomous robot verification As I discussed here, I am exploring working with Kerstin Eder et al. (of Bristol U) regarding autonomous robot verification. So I started looking into this. I will not take you into the gory details, gentle reader (especially since I … More Misc stuff: Robotics, system simulations, AI
I attended HVC’2015 last week. Here is a partial, very subjective trip report. HVC’2015 was good. I attended the tutorial day and the first two conference days, though I was absent from most of the hard-core formal-verification sessions. Here are the main things I learned: The Bristol folks Kerstin Eder, Dejanira Araiza-Illan and David Western … More HVC’2015 trip report