Author

S. Seshia

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Nov 2026

Interactively Teaching Collaborative Physical Tasks to Generative AI with Narrated Demonstrations

Enabling users to teach computers how to perform physical tasks is a long-standing goal in HCI. Prior work has explored learning from demonstration, but demonstrations often underspecify intent. Advances in generative AI enable a combination of demonstration and verbal narration to disambiguate intent. However, it rema...

Edward Kim, Daniel He, Jorge Diaz Chao et al. · 0 citations

#artificial intelligence Preprint Oct 2026

Scenario-Based Compositional Statistical Model Checking for Safety Specifications

In safety-critical domains such as autonomous driving, systems must be evaluated across a large number of environment conditions, often represented as composite scenarios built from primitive scenarios. Existing statistical model checking (SMC) approaches analyze each composite scenario independently, requiring many ex...

Abhinav Pomalapally, Arya Raeesi, K. Chang et al. · 0 citations