Tag: Verification conferences

Misc. stuff: ASAM, DeepMind, Tesla and more

May 4, 2019

Summary: This is another one of those “misc. stuff” posts, with no unifying theme other than “Interesting inputs regarding Autonomous Vehicles verification”. It will discuss: What I learned regarding the ASAM OSC standardization effort, DeepMind’s “Rigorous Agent Evaluation” paper, Tesla’s “400,0000-car regression farm” idea, some good papers by Philip Koopman, and the upcoming Stuttgart symposium. … More Misc. stuff: ASAM, DeepMind, Tesla and more

Don’t stay in Monte Carlo (for AV verification)

January 25, 2019

Summary: This post talks about why Monte Carlo simulations (which uses the expected distribution) will most likely not get you to safe Autonomous Vehicles. It also talks about what I learned at the ASAM OpenSCENARIO workshop in Munich. Several people I talked to lately assumed that AV verification should mostly be done using Monte-Carlo simulation. … More Don’t stay in Monte Carlo (for AV verification)

Misc stuff: A Michigan conference, and some overviews

October 18, 2018

Hi folks I have been too busy lately to even write an occasional “I am too busy” post. Still, here are some quick links: Novi, Michigan conference: I am going to present at the Autonomous Vehicles Test and Development Symposium next week. Also, we (Foretellix) are going to show our stuff in the co-located expo. … More Misc stuff: A Michigan conference, and some overviews

Stuttgart impressions: Scenarios and problems

June 25, 2018

Summary: This post talks about scenarios as the main tool for serious Autonomous Vehicles verification, but mostly about the more “mechanical” obstacles standing in the way of industrial-scale usage of scenarios – those related to repeatability, HIL issues and behavior stability As promised, here is my (first) report from this year’s Stuttgart Autonomous Vehicle (AV) … More Stuttgart impressions: Scenarios and problems

How to write AV scenarios (and some notes about Pegasus)

January 16, 2018

Summary: There are several approaches for verifying that Autonomous Vehicles are safe enough. The Pegasus project is one interesting, thoughtful attempt to do that (focusing initially on highly automated driving, not AVs). In this post I’ll summarizes a recent Pegasus symposium, and describe what I like about the approach and what is perhaps still missing. … More How to write AV scenarios (and some notes about Pegasus)

What’s new in AV verification: Stuttgart report part two

July 18, 2017

Summary: This is part two of my report about what I saw at the Stuttgart 2017 Autonomous Vehicles test & development symposium. It covers frameworks, simulators, scenario definitions and extracting scenarios from recordings. As I promised in part one, here is the rest of my trip report from that yearly symposium. It will cover the … More What’s new in AV verification: Stuttgart report part two

What’s new in AV verification: Report from the Stuttgart symposium

June 27, 2017

Summary: This is part one of my report about what I saw at the Stuttgart 2017 Autonomous Vehicles test & development symposium last week. This yearly symposium seems to be a pretty good place to get the feeling of what’s going on in AV verification (at least in Europe): There are several AV-related conferences, but … More What’s new in AV verification: Report from the Stuttgart symposium