The bigger picture of verifying autonomous robots

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

Misc stuff: Robotics, system simulations, AI

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

HVC’2015 trip report

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