%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 }