Inproceedings,
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.ICCPS, page 34-45. IEEE, (2022)
Meta data
- BibTeX key
- conf/iccps/KimSJFSS22
- entry type
- inproceedings
- booktitle
- ICCPS
- year
- 2022
- pages
- 34-45
- publisher
- IEEE
- crossref
- conf/iccps/2022
- ee
- https://doi.org/10.1109/ICCPS54341.2022.00010
- isbn
- 978-1-6654-0967-4
- url
- http://dblp.uni-trier.de/db/conf/iccps/iccps2022.html#KimSJFSS22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iccps/KimSJFSS22
%A Kim, Edward
%A Shenoy, Jay
%A Junges, Sebastian
%A Fremont, Daniel J.
%A Sangiovanni-Vincentelli, Alberto L.
%A Seshia, Sanjit A.
%B ICCPS
%D 2022
%I IEEE
%K dblp
%P 34-45
%T Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
%U http://dblp.uni-trier.de/db/conf/iccps/iccps2022.html#KimSJFSS22
%@ 978-1-6654-0967-4
@inproceedings{conf/iccps/KimSJFSS22,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Kim, Edward and Shenoy, Jay and Junges, Sebastian and Fremont, Daniel J. and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.},
biburl = {https://www.bibsonomy.org/bibtex/2b0ae64a20652a4ae5ca1c5a401c5d482/dblp},
booktitle = {ICCPS},
crossref = {conf/iccps/2022},
ee = {https://doi.org/10.1109/ICCPS54341.2022.00010},
interhash = {6d70e74c24338af5eb12496821d51cd7},
intrahash = {b0ae64a20652a4ae5ca1c5a401c5d482},
isbn = {978-1-6654-0967-4},
keywords = {dblp},
pages = {34-45},
publisher = {IEEE},
timestamp = {2024-04-09T21:46:06.000+0200},
title = {Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.},
url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2022.html#KimSJFSS22},
year = 2022
}