Generating Probabilistic Scenario Programs from Natural Language. - Karim Elmaaroufi; Devan Shanker; Ana Cismaru; Marcell Vazquez-Chanlatte; Alberto L. Sangiovanni-Vincentelli; Matei Zaharia; Sanjit A. Seshia (CoRR, 2024)

Querying Labeled Time Series Data with Scenario Programs. - Devan Shanker (CoRR, 2024)

Querying Labeled Time Series Data with Scenario Programs. - Edward Kim 005; Devan Shanker; Varun Bharadwaj; Hongbeen Park; Jinkyu Kim; Hazem Torfah; Daniel J. Fremont; Sanjit A. Seshia (NFM, 2025)