%0 Journal Article %1 journals/corr/abs-2112-00206 %A Kim, Edward %A Shenoy, Jay %A Junges, Sebastian %A Fremont, Daniel J. %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit %D 2021 %J CoRR %K dblp %T Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. %U http://dblp.uni-trier.de/db/journals/corr/corr2112.html#abs-2112-00206 %V abs/2112.00206

@article{journals/corr/abs-2112-00206, added-at = {2023-10-26T00:00:00.000+0200}, author = {Kim, Edward and Shenoy, Jay and Junges, Sebastian and Fremont, Daniel J. and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit}, biburl = {https://www.bibsonomy.org/bibtex/2e310cb46c8337a1c469f61f7efd629b0/dblp}, ee = {https://arxiv.org/abs/2112.00206}, interhash = {5154a0de51e0dfd014a78a101a963557}, intrahash = {e310cb46c8337a1c469f61f7efd629b0}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:35:23.000+0200}, title = {Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2112.html#abs-2112-00206}, volume = {abs/2112.00206}, year = 2021 }