Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. In 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. pages 322-323, IEEE, 2022. [doi]
Abstract is missing.