TY  - RPRT
TI  - Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
AU  - Edward Kim
AU  - Jay Shenoy
AU  - Sebastian Junges
AU  - Daniel Fremont
AU  - Alberto Sangiovanni-Vincentelli
AU  - Sanjit Seshia
PY  - 2021
UR  - https://arxiv.org/abs/2112.00206
ID  - 2112.00206
ER  -