Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation

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]

Authors

Edward Kim

This author has not been identified. Look up 'Edward Kim' in Google

Jay Shenoy

This author has not been identified. Look up 'Jay Shenoy' in Google

Sebastian Junges

This author has not been identified. Look up 'Sebastian Junges' in Google

Daniel J. Fremont

This author has not been identified. Look up 'Daniel J. Fremont' in Google

Alberto L. Sangiovanni-Vincentelli

This author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google