Siddharth Srivastava

CoRR, 2024

Using Explainable AI and Hierarchical Planning for Outreach with Robots.

[BibT_eX]

[DOI]

CoRR, 2024

Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications.

[BibT_eX]

[DOI]

CoRR, 2024

From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data.

[BibT_eX]

[DOI]

CoRR, 2024

Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Hierarchical Planning and Learning for Robots in Stochastic Settings Using Zero-Shot Option Invention.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Hierarchical Decompositions and Termination Analysis for Generalized Planning.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Conditional abstraction trees for sample-efficient reinforcement learning.

[BibT_eX]

[DOI]

Mehdi Dadvar

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Autonomous Capability Assessment of Sequential Decision-Making Systems in Stochastic Settings.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Multi-Task Option Learning and Discovery for Stochastic Path Planning.

[BibT_eX]

[DOI]

CoRR, 2022

Preliminary Results on Using Abstract AND-OR Graphs for Generalized Solving of Stochastic Shortest Path Problems.

[BibT_eX]

[DOI]

CoRR, 2022

Learning Generalized Policy Automata for Relational Stochastic Shortest Path Problems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Discovering User-Interpretable Capabilities of Black-Box Planning Agents.

[BibT_eX]

[DOI]

Shashank Rao Marpally

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Joint Communication and Motion Planning for Cobots.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Inscrutable Representations.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

JEDAI: A System for Skill-Aligned Explainable Robot Planning.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Differential Assessment of Black-Box AI Agents.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

JEDAI Explains Decision-Making AI.

[BibT_eX]

[DOI]

CoRR, 2021

Anytime Stochastic Task and Motion Policies.

[BibT_eX]

[DOI]

CoRR, 2021

Learning Causal Models of Autonomous Agents using Interventions.

[BibT_eX]

[DOI]

CoRR, 2021

Learning User-Interpretable Descriptions of Black-Box AI System Capabilities.

[BibT_eX]

[DOI]

Shashank Rao Marpally

CoRR, 2021

Planning for Proactive Assistance in Environments with Partial Observability.

[BibT_eX]

[DOI]

CoRR, 2021

Using state abstractions to compute personalized contrastive explanations for AI agent behavior.

[BibT_eX]

[DOI]

Sarath Sreedharan

Artif. Intell., 2021

Unifying Principles and Metrics for Safe and Assistive AI.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Asking the Right Questions: Learning Interpretable Action Models Through Query Answering.

[BibT_eX]

[DOI]

Shashank Rao Marpally

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Learning Sampling Distributions for Efficient High-Dimensional Motion Planning.

[BibT_eX]

[DOI]

Abhyudaya Srinet

CoRR, 2020

Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Black Box Simulators.

[BibT_eX]

[DOI]

CoRR, 2020

Learn and Link: Learning Critical Regions for Efficient Planning.

[BibT_eX]

[DOI]

Daniel Molina

Kislay Kumar

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Anytime Integrated Task and Motion Policies for Stochastic Environments.

[BibT_eX]

[DOI]

Deepak Kala Vasudevan

Kislay Kumar

Pranav Kamojjhala

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Signaling Friends and Head-Faking Enemies Simultaneously: Balancing Goal Obfuscation and Goal Legibility.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions.

[BibT_eX]

[DOI]

Sarath Sreedharan

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Learning Generalized Models by Interrogating Black-Box Autonomous Agents.

[BibT_eX]

[DOI]

CoRR, 2019

Balancing Goal Obfuscation and Goal Legibility in Settings with Cooperative and Adversarial Observers.

[BibT_eX]

[DOI]

CoRR, 2019

Anytime Integrated Task and Motion Policies for Stochastic Environments.

[BibT_eX]

[DOI]

CoRR, 2019

Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Unified Framework for Planning in Adversarial and Cooperative Environments.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Platform-Independent Benchmarks for Task and Motion Planning.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2018

Implicit Robot-Human Communication in Adversarial and Collaborative Environments.

[BibT_eX]

[DOI]

CoRR, 2018

Hierarchical Expertise Level Modeling for User Specific Contrastive Explanations.

[BibT_eX]

[DOI]

Sarath Sreedharan

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Machine Learning, 2018

Safe Goal-Directed Autonomy and the Need for Sound Abstractions.

[BibT_eX]

[DOI]

Proceedings of the 2018 AAAI Spring Symposia, 2018

Learning Generalized Reactive Policies using Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 AAAI Spring Symposia, 2018

2017

Learning Generalized Reactive Policies using Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Markovian State and Action Abstractions for MDPs via Hierarchical MCTS.

[BibT_eX]

[DOI]

Aijun Bai

Stuart Russell

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Guided search for task and motion plans using learned heuristics.

[BibT_eX]

[DOI]

Rohan Chitnis

Dylan Hadfield-Menell

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Hierarchical Strategy Synthesis for Pursuit-Evasion Problems.

[BibT_eX]

[DOI]

Rattanachai Ramaithitima

Subhrajit Bhattacharya

Alberto Speranzon

Vijay Kumar

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Metaphysics of Planning Domain Descriptions.

[BibT_eX]

[DOI]

Stuart Russell

Alessandro Pinto

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Tractability of Planning with Loops.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

First-Order Open-Universe POMDPs.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, 2014

Combined task and motion planning through an extensible planner-independent interface layer.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2012

Applicability conditions for plans with loops: Computability results and algorithms.

[BibT_eX]

[DOI]

Artif. Intell., 2012

2011

Foundations and applications of generalized planning.

[BibT_eX]

[DOI]

AI Commun., 2011

A new representation and associated algorithms for generalized planning.

[BibT_eX]

[DOI]

Artif. Intell., 2011

Directed Search for Generalized Plans Using Classical Planners.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Qualitative Numeric Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

Termination and Correctness Analysis of Cyclic Control.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Merging example plans into generalized plans for non-deterministic environments.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Computing Applicability Conditions for Plans with Loops.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009

Simulating reachability using first-order logic with applications to verification of linked data structures

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2009

Abstract Planning with Unknown Object Quantities and Properties.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

2008

Using Abstraction for Generalized Planning.

[BibT_eX]

[DOI]