Whatever you think of my Stuttgart symposium trip report, at least I made the effort to attend it and report back. In this post I sink even lower, reporting from a conference I did not attend – the ICRA workshop on verification of autonomous systems. I did, however, watch the full 4.5 hour video (warning: … More The ICRA 2016 verification workshop
Summary: This post discusses some recent articles about automation and unemployment, and my reactions to them. Following my post about automation and unemployment, I got several comments saying I was too optimistic, and (fewer) saying all this would never happen. I am still trying to “get the future right” (I know this is really impossible). … More Misc stuff: Automation and unemployment
Summary: This trip report describes my impressions from the Second Autonomous Vehicles Test & Design Symposium in Stuttgart. Short version: The design side is moving fast. The verification side has improved, but has a long way to go. Note: In my last post I talked about what automation will do to this planet over the … More Finding bugs in autonomous vehicles: My impressions from the second Stuttgart symposium