Article,
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
E. Kim, J. Shenoy, S. Junges, D. Fremont, A. Sangiovanni-Vincentelli, and S. Seshia.CoRR, (2021)
Meta data
- BibTeX key
- journals/corr/abs-2112-00206
- entry type
- article
- year
- 2021
- journal
- CoRR
- volume
- abs/2112.00206
- ee
- https://arxiv.org/abs/2112.00206
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2112.html#abs-2112-00206
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}