Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation

Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. In 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. pages 322-323, IEEE, 2022. [doi]

@inproceedings{KimSJFSS22a,
  title = {Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation},
  author = {Edward Kim and Jay Shenoy and Sebastian Junges and Daniel J. Fremont and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia},
  year = {2022},
  doi = {10.1109/ICCPS54341.2022.00052},
  url = {https://doi.org/10.1109/ICCPS54341.2022.00052},
  researchr = {https://researchr.org/publication/KimSJFSS22a},
  cites = {0},
  citedby = {0},
  pages = {322-323},
  booktitle = {13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022},
  publisher = {IEEE},
  isbn = {978-1-6654-0967-4},
}