TY  - RPRT
TI  - Querying Labeled Time Series Data with Scenario Programs
AU  - Edward Kim
AU  - Devan Shanker
AU  - Varun Bharadwaj
AU  - Hongbeen Park
AU  - Jinkyu Kim
AU  - Hazem Torfah
AU  - Daniel J Fremont
AU  - Sanjit A Seshia
PY  - 2025
DO  - 10.1007/978-3-031-93706-4_12
UR  - https://arxiv.org/abs/2511.10627
ID  - 2511.10627
ER  -