Natasha Danas

According to our database, Natasha Danas authored at least 5 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Task Scoping: Building Goal-Specific Abstractions for Planning in Complex Domains.

Nishanth Kumar, Michael Fishman, Natasha Danas, Michael Littman, Stefanie Tellex, George Konidaris

CoRR, 2020

Task Scoping for Efficient Planning in Open Worlds (Student Abstract).

Nishanth Kumar, Michael Fishman, Natasha Danas, Stefanie Tellex, Michael Littman, George Konidaris

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Synthesizing Mutable Configurations: Setting up Systems for Success.

Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

2017

The power of "why" and "why not": enriching scenario exploration with provenance.

Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

User Studies of Principled Model Finder Output.

Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017