User Studies of Principled Model Finder Output. - Natasha Danas; Tim Nelson; Lane Harrison; Shriram Krishnamurthi; Daniel J. Dougherty (SEFM, 2017)

The power of "why" and "why not": enriching scenario exploration with provenance. - Tim Nelson; Natasha Danas; Daniel J. Dougherty; Shriram Krishnamurthi (ESEC/SIGSOFT FSE, 2017)

Synthesizing Mutable Configurations: Setting up Systems for Success. - Tim Nelson; Natasha Danas; Theophilos Giannakopoulos; Shriram Krishnamurthi (ASE Workshops, 2019)

Task Scoping for Efficient Planning in Open Worlds (Student Abstract). - Nishanth Kumar; Michael Fishman 001; Natasha Danas; Stefanie Tellex; Michael Littman 002; George Konidaris 001 (AAAI, 2020)

Task Scoping: Building Goal-Specific Abstractions for Planning in Complex Domains. - Nishanth Kumar; Michael Fishman 001; Natasha Danas; Michael Littman 002; Stefanie Tellex; George Konidaris 001 (CoRR, 2020)