I have sent quite a few people the summary of what I saw at the Autonomous Vehicles Test & Development Symposium in Stuttgart. I was pleasantly surprised with the results – a lot of people sent thoughtful answers, or talked to me about it. Here is a summary of what they said, anonymized (because this … More Some feedback on my Stuttgart report
I travelled to Stuttgart to attend this first-of-a-kind conference. It was interesting for me, because (in Foretellix) I am trying to investigate how dynamic, constrained-random, coverage-driven verification (call it “CDV” – the bread-and-butter of hardware verification) can be extended for verifying complex socio-technical systems. This long(ish) post summarizes my impressions. I did not know much … More My impressions from the Stuttgart Autonomous Vehicles Test & Development symposium