Sampling plays an essential role in generating concrete scenarios from logical scenarios. The paper “Sampling of Shape Expressions with ShapEx” that addresses this problem in a more abstract setting was accepted to the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE’21) and will be presented in November 2021.
Autonomous Driving Examiner