The power of" why" and" why not": Enriching scenario exploration with provenance T Nelson, N Danas, DJ Dougherty, S Krishnamurthi Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 38 | 2017 |
User studies of principled model finder output N Danas, T Nelson, L Harrison, S Krishnamurthi, DJ Dougherty Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 25 | 2017 |
Exploring theories with a model-finding assistant S Saghafi, R Danas, DJ Dougherty International Conference on Automated Deduction, 434-449, 2015 | 17 | 2015 |
Task scoping: Building goal-specific abstractions for planning in complex domains N Kumar, M Fishman, N Danas, ML Littman, S Tellex, G Konidaris CoRR, abs/2010.08869, 2020 | 5 | 2020 |
Synthesizing mutable configurations: Setting up systems for success T Nelson, N Danas, T Giannakopoulos, S Krishnamurthi 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 5 | 2019 |
Formal Dialogue Model for Language Grounding Error Recovery N Danas, T Nelson, C Finkelstein, S Krishnamurthi, S Tellex | 4 | 2019 |
Designing user-specific plug-n-play into body area networks RA Danas, DT Lally, NW Miller, JS Synnott, CA Shue, H Ghasemzadeh, ... Proceedings of the 4th ACM MobiHoc workshop on Pervasive wireless healthcare …, 2014 | 3 | 2014 |
Task Scoping: Generating Task-Specific Simplifications of Open-Scope Planning Problems M Fishman, N Kumar, C Allen, N Danas, M Littman, S Tellex, G Konidaris PRL Workshop Series {\textendash} Bridging the Gap Between AI Planning and …, 2023 | 1 | 2023 |
Task Scoping: Generating Task-Specific Abstractions for Planning in Open-Scope Models M Fishman, N Kumar, C Allen, N Danas, M Littman, S Tellex, G Konidaris arXiv preprint arXiv:2010.08869, 2020 | 1 | 2020 |
Task Scoping for Efficient Planning in Open Worlds (Student Abstract) N Kumar, M Fishman, N Danas, S Tellex, M Littman, G Konidaris Proceedings of the AAAI Conference on Artificial Intelligence 34 (10), 13845 …, 2020 | 1 | 2020 |
Task Scoping: Generating Task-Specific Abstractions for Planning N Kumar, M Fishman, N Danas, M Littman, S Tellex, G Konidaris arXiv e-prints, arXiv: 2010.08869, 2020 | | 2020 |
User Evaluation Framework for Model Finding Research R Danas WORCESTER POLYTECHNIC INSTITUTE, 2016 | | 2016 |
Enhancing Plug and Play Capabilities in Body Area Network Protocols R Danas, D Lally, N Miller, J Synnott WORCESTER POLYTECHNIC INSTITUTE, 2014 | | 2014 |