Login / Signup
Natasha Danas
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 5
Top Topics
Student Model
Heuristic Search
High Level
Complex Domains
Top Venues
CoRR
ASE Workshops
SEFM
ESEC/SIGSOFT FSE
</>
Publications
</>
Nishanth Kumar
,
Michael Fishman
,
Natasha Danas
,
Michael L. Littman
,
Stefanie Tellex
,
George Konidaris
Task Scoping: Building Goal-Specific Abstractions for Planning in Complex Domains.
CoRR
(2020)
Nishanth Kumar
,
Michael Fishman
,
Natasha Danas
,
Stefanie Tellex
,
Michael L. Littman
,
George Konidaris
Task Scoping for Efficient Planning in Open Worlds (Student Abstract).
AAAI
(2020)
Tim Nelson
,
Natasha Danas
,
Theophilos Giannakopoulos
,
Shriram Krishnamurthi
Synthesizing Mutable Configurations: Setting up Systems for Success.
ASE Workshops
(2019)
Tim Nelson
,
Natasha Danas
,
Daniel J. Dougherty
,
Shriram Krishnamurthi
The power of "why" and "why not": enriching scenario exploration with provenance.
ESEC/SIGSOFT FSE
(2017)
Natasha Danas
,
Tim Nelson
,
Lane Harrison
,
Shriram Krishnamurthi
,
Daniel J. Dougherty
User Studies of Principled Model Finder Output.
SEFM
(2017)