Siddharth Srivastava

102 papers A* 38A 8Misc 1Journal 49Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Context-Sensitive Abstractions for Reinforcement Learning with Parameterized Actions. AAAI Rashmeet Kaur Nayyar, Naman Shah, Siddharth Srivastava
2025	A*	`conf`	Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks. ICLR Rushang Karia, Daniel Bramblett, Daksh Dobhal, Siddharth Srivastava
2025	A*	`conf`	Autonomous Option Invention for Continual Hierarchical Reinforcement Learning and Planning. AAAI Rashmeet Kaur Nayyar, Siddharth Srivastava
2025	J	`jnl`	Context-Sensitive Abstractions for Reinforcement Learning with Parameterized Actions. CoRR Rashmeet Kaur Nayyar, Naman Shah, Siddharth Srivastava
2025	J	`jnl`	Discovering and Learning Probabilistic Models of Black-Box AI Capabilities. CoRR Daniel Bramblett, Rushang Karia, Adrian Ciotinga, Ruthvick Suresh, Pulkit Verma, YooJung Choi, Siddharth Srivastava
2025	A*	`conf`	Explain It as Simple as Possible, but No Simpler - Explanation via Model Simplification for Addressing Inferential Gap (Abstract Reprint). IJCAI Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
2025	J	`jnl`	Explain it as simple as possible, but no simpler - Explanation via model simplification for addressing inferential gap. Artif. Intell. Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
2025	A*	`conf`	Using Explainable AI and Hierarchical Planning for Outreach with Robots. AAAI Rushang Karia, Jayesh Nagpal, Daksh Dobhal, Pulkit Verma, Rashmeet Kaur Nayyar, Naman Shah, Siddharth Srivastava
2024	J	`jnl`	AI Planning: A Primer and Survey (Preliminary Report). CoRR Dillon Z. Chen, Pulkit Verma, Siddharth Srivastava, Michael Katz, Sylvie Thiébaux
2024	J	`jnl`	Autonomous Option Invention for Continual Hierarchical Reinforcement Learning and Planning. CoRR Rashmeet Kaur Nayyar, Siddharth Srivastava
2024	J	`jnl`	Belief-State Query Policies for Planning With Preferences Under Partial Observability. CoRR Daniel Bramblett, Siddharth Srivastava
2024	A*	`conf`	Belief-State Query Policies for User-Aligned POMDPs. NeurIPS Daniel Bramblett, Siddharth Srivastava
2024	J	`jnl`	Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications. CoRR Rushang Karia, Daksh Dobhal, Daniel Bramblett, Pulkit Verma, Siddharth Srivastava
2024	A*	`conf`	Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings. ICAPS Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava
2024	J	`jnl`	Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings. CoRR Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava
2024	J	`jnl`	From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data. CoRR Naman Shah, Jayesh Nagpal, Pulkit Verma, Siddharth Srivastava
2024	A*	`conf`	Hierarchical Decompositions and Termination Analysis for Generalized Planning (Abstract Reprint). IJCAI Siddharth Srivastava
2024	A*	`conf`	Hierarchical Planning and Learning for Robots in Stochastic Settings Using Zero-Shot Option Invention. AAAI Naman Shah, Siddharth Srivastava
2024	J	`jnl`	Using Explainable AI and Hierarchical Planning for Outreach with Robots. CoRR Daksh Dobhal, Jayesh Nagpal, Rushang Karia, Pulkit Verma, Rashmeet Kaur Nayyar, Naman Shah, Siddharth Srivastava
2024	J	`jnl`	∀uto∃∨∧L: Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks. CoRR Rushang Karia, Daniel Bramblett, Daksh Dobhal, Siddharth Srivastava
2023	J	`jnl`	Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems. CoRR Pulkit Verma, Rushang Karia, Siddharth Srivastava
2023	A*	`conf`	Autonomous Capability Assessment of Sequential Decision-Making Systems in Stochastic Settings. NeurIPS Pulkit Verma, Rushang Karia, Siddharth Srivastava
2023	A	`conf`	Conditional abstraction trees for sample-efficient reinforcement learning. UAI Mehdi Dadvar, Rashmeet Kaur Nayyar, Siddharth Srivastava
2023	J	`jnl`	Hierarchical Decompositions and Termination Analysis for Generalized Planning. J. Artif. Intell. Res. Siddharth Srivastava
2022	A*	`conf`	Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Inscrutable Representations. ICLR Sarath Sreedharan, Utkarsh Soni, Mudit Verma, Siddharth Srivastava, Subbarao Kambhampati
2022	A*	`conf`	Differential Assessment of Black-Box AI Agents. AAAI Rashmeet Kaur Nayyar, Pulkit Verma, Siddharth Srivastava
2022	J	`jnl`	Differential Assessment of Black-Box AI Agents. CoRR Rashmeet Kaur Nayyar, Pulkit Verma, Siddharth Srivastava
2022	A*	`conf`	Discovering User-Interpretable Capabilities of Black-Box Planning Agents. KR Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava
2022	J	`jnl`	Hierarchical Termination Analysis for Generalized Planning. CoRR Siddharth Srivastava
2022	A	`conf`	JEDAI: A System for Skill-Aligned Explainable Robot Planning. AAMAS Naman Shah, Pulkit Verma, Trevor Angle, Siddharth Srivastava
2022	A*	`conf`	Joint Communication and Motion Planning for Cobots. ICRA Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava
2022	J	`jnl`	Learning Dynamic Abstract Representations for Sample-Efficient Reinforcement Learning. CoRR Mehdi Dadvar, Rashmeet Kaur Nayyar, Siddharth Srivastava
2022	A*	`conf`	Learning Generalized Policy Automata for Relational Stochastic Shortest Path Problems. NeurIPS Rushang Karia, Rashmeet Kaur Nayyar, Siddharth Srivastava
2022	J	`jnl`	Multi-Task Option Learning and Discovery for Stochastic Path Planning. CoRR Naman Shah, Siddharth Srivastava
2022	J	`jnl`	Preliminary Results on Using Abstract AND-OR Graphs for Generalized Solving of Stochastic Shortest Path Problems. CoRR Rushang Karia, Rashmeet Kaur Nayyar, Siddharth Srivastava
2022	A*	`conf`	Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems. IJCAI Rushang Karia, Siddharth Srivastava
2022	J	`jnl`	Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems. CoRR Rushang Karia, Siddharth Srivastava
2022	A	`conf`	Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning. AAMAS Naman Shah, Siddharth Srivastava
2022	J	`jnl`	Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning. CoRR Naman Shah, Siddharth Srivastava
2021	J	`jnl`	Anytime Stochastic Task and Motion Policies. CoRR Naman Shah, Siddharth Srivastava
2021	A*	`conf`	Asking the Right Questions: Learning Interpretable Action Models Through Query Answering. AAAI Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava
2021	J	`jnl`	JEDAI Explains Decision-Making AI. CoRR Trevor Angle, Naman Shah, Pulkit Verma, Siddharth Srivastava
2021	J	`jnl`	Joint Communication and Motion Planning for Cobots. CoRR Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava
2021	J	`jnl`	Learning Causal Models of Autonomous Agents using Interventions. CoRR Pulkit Verma, Siddharth Srivastava
2021	A*	`conf`	Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning. AAAI Rushang Karia, Siddharth Srivastava
2021	J	`jnl`	Learning User-Interpretable Descriptions of Black-Box AI System Capabilities. CoRR Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava
2021	J	`jnl`	Planning for Proactive Assistance in Environments with Partial Observability. CoRR Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati
2021	A*	`conf`	Unifying Principles and Metrics for Safe and Assistive AI. AAAI Siddharth Srivastava
2021	J	`jnl`	Using state abstractions to compute personalized contrastive explanations for AI agent behavior. Artif. Intell. Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
2020	A*	`conf`	Anytime Integrated Task and Motion Policies for Stochastic Environments. ICRA Naman Shah, Deepak Kala Vasudevan, Kislay Kumar, Pranav Kamojjhala, Siddharth Srivastava
2020	J	`jnl`	Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Black Box Simulators. CoRR Sarath Sreedharan, Utkarsh Soni, Mudit Verma, Siddharth Srivastava, Subbarao Kambhampati
2020	A*	`conf`	Learn and Link: Learning Critical Regions for Efficient Planning. ICRA Daniel Molina, Kislay Kumar, Siddharth Srivastava
2020	J	`jnl`	Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning. CoRR Rushang Karia, Siddharth Srivastava
2020	J	`jnl`	Learning Sampling Distributions for Efficient High-Dimensional Motion Planning. CoRR Naman Shah, Abhyudaya Srinet, Siddharth Srivastava
2020	A	`conf`	Signaling Friends and Head-Faking Enemies Simultaneously: Balancing Goal Obfuscation and Goal Legibility. AAMAS Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati
2020	A*	`conf`	TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions. ICAPS Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
2020	J	`jnl`	The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John A. McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia-Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang
2019	A*	`conf`	A Unified Framework for Planning in Adversarial and Cooperative Environments. AAAI Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati
2019	J	`jnl`	Anytime Integrated Task and Motion Policies for Stochastic Environments. CoRR Naman Shah, Siddharth Srivastava
2019	J	`jnl`	Balancing Goal Obfuscation and Goal Legibility in Settings with Cooperative and Adversarial Observers. CoRR Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati
2019	J	`jnl`	Identifying Critical Regions for Motion Planning using Auto-Generated Saliency Labels with Convolutional Neural Networks. CoRR Daniel Molina, Kislay Kumar, Siddharth Srivastava
2019	J	`jnl`	Learning Generalized Models by Interrogating Black-Box Autonomous Agents. CoRR Pulkit Verma, Siddharth Srivastava
2019	A*	`ed.`	Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019. ICAPS J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, Siddharth Srivastava
2019	A*	`conf`	Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks. IJCAI Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati
2019	J	`jnl`	Why Couldn't You do that? Explaining Unsolvability of Classical Planning Problems in the Presence of Plan Advice. CoRR Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati
2018	J	`jnl`	An Anytime Algorithm for Task and Motion MDPs. CoRR Siddharth Srivastava, Nishant Desai, Richard G. Freedman, Shlomo Zilberstein
2018	A*	`conf`	Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms. ICML Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon S. Du, Stuart Russell
2018	J	`jnl`	Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms. CoRR Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon S. Du, Stuart Russell
2018	A*	`conf`	Hierarchical Expertise Level Modeling for User Specific Contrastive Explanations. IJCAI Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
2018	J	`jnl`	Hierarchical Expertise-Level Modeling for User Specific Robot-Behavior Explanations. CoRR Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
2018	J	`jnl`	Implicit Robot-Human Communication in Adversarial and Collaborative Environments. CoRR Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati
2018	A*	`conf`	Learning Generalized Reactive Policies Using Deep Neural Networks. ICAPS Edward Groshev, Maxwell Goldstein, Aviv Tamar, Siddharth Srivastava, Pieter Abbeel
2018	—	`conf`	Learning Generalized Reactive Policies using Deep Neural Networks. AAAI Spring Symposia Edward Groshev, Aviv Tamar, Maxwell Goldstein, Siddharth Srivastava, Pieter Abbeel
2018	J	`jnl`	Platform-Independent Benchmarks for Task and Motion Planning. IEEE Robotics Autom. Lett. Fabien Lagriffoul, Neil T. Dantam, Caelan Reed Garrett, Aliakbar Akbari, Siddharth Srivastava, Lydia E. Kavraki
2018	J	`jnl`	Reports on the 2018 AAAI Spring Symposium Series. AI Mag. Christopher Amato, Haitham Bou-Ammar, Elizabeth F. Churchill, Erez Karpas, Takashi Kido, Mike Kuniavsky, William F. Lawless, Francesca Rossi, Frans A. Oliehoek, Stephen Russell, Keiki Takadama, Siddharth Srivastava, Karl Tuyls, Philip van Allen, K. Brent Venable, Peter Vrancx, Shiqi Zhang
2018	—	`conf`	Safe Goal-Directed Autonomy and the Need for Sound Abstractions. AAAI Spring Symposia Siddharth Srivastava
2017	J	`jnl`	An ROS-based Shared Communication Middleware for Plug & Play Modular Intelligent Design of Smart Systems. CoRR Tathagata Chakraborti, Siddharth Srivastava, Alessandro Pinto, Subbarao Kambhampati
2017	J	`jnl`	Learning Generalized Reactive Policies using Deep Neural Networks. CoRR Edward Groshev, Aviv Tamar, Siddharth Srivastava, Pieter Abbeel
2016	A*	`conf`	Guided search for task and motion plans using learned heuristics. ICRA Rohan Chitnis, Dylan Hadfield-Menell, Abhishek Gupta, Siddharth Srivastava, Edward Groshev, Christopher Lin, Pieter Abbeel
2016	A	`conf`	Hierarchical Strategy Synthesis for Pursuit-Evasion Problems. ECAI Rattanachai Ramaithitima, Siddharth Srivastava, Subhrajit Bhattacharya, Alberto Speranzon, Vijay Kumar
2016	A*	`conf`	Markovian State and Action Abstractions for MDPs via Hierarchical MCTS. IJCAI Aijun Bai, Siddharth Srivastava, Stuart Russell
2016	A*	`conf`	Metaphysics of Planning Domain Descriptions. AAAI Siddharth Srivastava, Stuart Russell, Alessandro Pinto
2015	—	`conf`	Metaphysics of Planning Domain Descriptions. AAAI Fall Symposia Siddharth Srivastava, Stuart Russell, Alessandro Pinto
2015	A*	`conf`	Tractability of Planning with Loops. AAAI Siddharth Srivastava, Shlomo Zilberstein, Abhishek Gupta, Pieter Abbeel, Stuart Russell
2014	A*	`conf`	Combined task and motion planning through an extensible planner-independent interface layer. ICRA Siddharth Srivastava, Eugene Fang, Lorenzo Riano, Rohan Chitnis, Stuart Russell, Pieter Abbeel
2014	A	`conf`	First-Order Open-Universe POMDPs. UAI Siddharth Srivastava, Stuart Russell, Paul Ruan, Xiang Cheng
2012	J	`jnl`	Applicability conditions for plans with loops: Computability results and algorithms. Artif. Intell. Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
2012	—	`conf`	First-Order Models for POMDPs. StarAI@UAI Siddharth Srivastava, Stuart Russell, Avi Pfeffer
2012	—	`conf`	Learning Relational Structure for Temporal Relation Extraction. StarAI@UAI Tushar Khot, Siddharth Srivastava, Sriraam Natarajan, Jude W. Shavlik
2012	J	`jnl`	Reports of the AAAI 2011 Conference Workshops. AI Mag. Noa Agmon, Vikas Agrawal, David W. Aha, Yiannis Aloimonos, Donagh Buckley, Prashant Doshi, Christopher W. Geib, Floriana Grasso, Nancy L. Green, Benjamin Johnston, Burt Kaliski, Christopher Kiekintveld, Edith Law, Henry Lieberman, Ole J. Mengshoel, Ted Metzler, Joseph Modayil, Douglas W. Oard, Nilufer Onder, Barry O'Sullivan, Katerina Pastra, Doina Precup, Sowmya Ramachandran, Chris Reed, Sanem Sariel Talay, Ted Selker, Lokendra Shastri, Stephen F. Smith, Satinder Singh, Siddharth Srivastava, Gita Sukthankar, David C. Uthus, Mary-Anne Williams
2011	J	`jnl`	A new representation and associated algorithms for generalized planning. Artif. Intell. Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
2011	A*	`conf`	Directed Search for Generalized Plans Using Classical Planners. ICAPS Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein, Tianjiao Zhang
2011	J	`jnl`	Foundations and applications of generalized planning. AI Commun. Siddharth Srivastava
2011	A*	`conf`	Qualitative Numeric Planning. AAAI Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner
2011	A*	`conf`	Termination and Correctness Analysis of Cyclic Control. AAAI Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
2010	A*	`conf`	Computing Applicability Conditions for Plans with Loops. ICAPS Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
2010	A	`conf`	Merging example plans into generalized plans for non-deterministic environments. AAMAS Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
2009	—	`conf`	Abstract Planning with Unknown Object Quantities and Properties. SARA Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
2009	J	`jnl`	Simulating reachability using first-order logic with applications to verification of linked data structures Log. Methods Comput. Sci. Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh
2008	A*	`conf`	Learning Generalized Plans Using Abstract Counting. AAAI Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
2008	Misc	`conf`	Using Abstraction for Generalized Planning. ISAIM Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
2005	A	`conf`	Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. CADE Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh