default search action
Siddharth Srivastava 0001
Person information
- affiliation: Arizona State University, Tempe, AZ, USA
- affiliation (former, PhD): University of Massachusetts Amherst, MA, USA
Other persons with the same name
- Siddharth Srivastava — disambiguation page
- Siddharth Srivastava 0002 — Indian Institute of Technology Kanpur, Department of Computer Science and Engineering, India
- Siddharth Srivastava 0003
— Institute of Engineering and Technology, Electronics and Communication Department, Lucknow, India
- Siddharth Srivastava 0004 — TensorTour Inc. (and 1 more)
- Siddharth Srivastava 0005 — Katholieke Universitiet Leuven, Department of Radiology + ESAT, Leuven, Belgium (and 1 more)
- Siddharth Srivastava 0006 — Indian Institute of Space Science and Technology, Trivandrum, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c46]Naman Shah, Siddharth Srivastava
Hierarchical Planning and Learning for Robots in Stochastic Settings Using Zero-Shot Option Invention. AAAI 2024: 10358-10367 - [c45]Rushang Karia, Pulkit Verma
Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings. ICAPS 2024: 310-318 - [c44]Siddharth Srivastava:
Hierarchical Decompositions and Termination Analysis for Generalized Planning (Abstract Reprint). IJCAI 2024: 8485 - [i34]Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava:
Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings. CoRR abs/2402.08145 (2024) - [i33]Naman Shah, Jayesh Nagpal, Pulkit Verma, Siddharth Srivastava:
From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data. CoRR abs/2402.11871 (2024) - [i32]Rushang Karia, Daksh Dobhal, Daniel Bramblett, Pulkit Verma, Siddharth Srivastava:
Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications. CoRR abs/2403.18327 (2024) - [i31]Daksh Dobhal, Jayesh Nagpal, Rushang Karia, Pulkit Verma, Rashmeet Kaur Nayyar, Naman Shah, Siddharth Srivastava:
Using Explainable AI and Hierarchical Planning for Outreach with Robots. CoRR abs/2404.00808 (2024) - [i30]Daniel Bramblett, Siddharth Srivastava
Belief-State Query Policies for Planning With Preferences Under Partial Observability. CoRR abs/2405.15907 (2024) - [i29]Rushang Karia, Daniel Bramblett, Daksh Dobhal, Siddharth Srivastava:
∀uto∃∨∧L: Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks. CoRR abs/2410.08437 (2024) - 2023
- [j10]Siddharth Srivastava:
Hierarchical Decompositions and Termination Analysis for Generalized Planning. J. Artif. Intell. Res. 77: 1203-1236 (2023) - [c43]Pulkit Verma, Rushang Karia, Siddharth Srivastava:
Autonomous Capability Assessment of Sequential Decision-Making Systems in Stochastic Settings. NeurIPS 2023 - [c42]Mehdi Dadvar, Rashmeet Kaur Nayyar, Siddharth Srivastava:
Conditional abstraction trees for sample-efficient reinforcement learning. UAI 2023: 485-495 - [i28]Pulkit Verma, Rushang Karia, Siddharth Srivastava:
Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems. CoRR abs/2306.04806 (2023) - 2022
- [c41]Rashmeet Kaur Nayyar, Pulkit Verma
Differential Assessment of Black-Box AI Agents. AAAI 2022: 9868-9876 - [c40]Naman Shah, Siddharth Srivastava:
Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning. AAMAS 2022: 1183-1191 - [c39]Naman Shah, Pulkit Verma, Trevor Angle, Siddharth Srivastava:
JEDAI: A System for Skill-Aligned Explainable Robot Planning. AAMAS 2022: 1917-1919 - [c38]Sarath Sreedharan, Utkarsh Soni, Mudit Verma, Siddharth Srivastava, Subbarao Kambhampati:
Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Inscrutable Representations. ICLR 2022 - [c37]Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava:
Joint Communication and Motion Planning for Cobots. ICRA 2022: 4771-4777 - [c36]Rushang Karia, Siddharth Srivastava:
Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems. IJCAI 2022: 3135-3142 - [c35]Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava:
Discovering User-Interpretable Capabilities of Black-Box Planning Agents. KR 2022 - [c34]Rushang Karia, Rashmeet Kaur Nayyar, Siddharth Srivastava:
Learning Generalized Policy Automata for Relational Stochastic Shortest Path Problems. NeurIPS 2022 - [i27]Naman Shah, Siddharth Srivastava:
Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning. CoRR abs/2202.00907 (2022) - [i26]Rashmeet Kaur Nayyar, Pulkit Verma, Siddharth Srivastava:
Differential Assessment of Black-Box AI Agents. CoRR abs/2203.13236 (2022) - [i25]Rushang Karia, Rashmeet Kaur Nayyar, Siddharth Srivastava:
Preliminary Results on Using Abstract AND-OR Graphs for Generalized Solving of Stochastic Shortest Path Problems. CoRR abs/2204.04301 (2022) - [i24]Rushang Karia, Siddharth Srivastava:
Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems. CoRR abs/2204.12665 (2022) - [i23]Naman Shah, Siddharth Srivastava:
Multi-Task Option Learning and Discovery for Stochastic Path Planning. CoRR abs/2210.00068 (2022) - [i22]Mehdi Dadvar, Rashmeet Kaur Nayyar, Siddharth Srivastava:
Learning Dynamic Abstract Representations for Sample-Efficient Reinforcement Learning. CoRR abs/2210.01955 (2022) - [i21]Siddharth Srivastava:
Hierarchical Termination Analysis for Generalized Planning. CoRR abs/2212.02823 (2022) - 2021
- [j9]Sarath Sreedharan
Using state abstractions to compute personalized contrastive explanations for AI agent behavior. Artif. Intell. 301: 103570 (2021) - [c33]Rushang Karia, Siddharth Srivastava:
Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning. AAAI 2021: 8064-8073 - [c32]Pulkit Verma
Asking the Right Questions: Learning Interpretable Action Models Through Query Answering. AAAI 2021: 12024-12033 - [c31]Siddharth Srivastava:
Unifying Principles and Metrics for Safe and Assistive AI. AAAI 2021: 15064-15068 - [i20]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
Planning for Proactive Assistance in Environments with Partial Observability. CoRR abs/2105.00525 (2021) - [i19]Pulkit Verma
Learning User-Interpretable Descriptions of Black-Box AI System Capabilities. CoRR abs/2107.13668 (2021) - [i18]Pulkit Verma
Learning Causal Models of Autonomous Agents using Interventions. CoRR abs/2108.09586 (2021) - [i17]Naman Shah, Siddharth Srivastava:
Anytime Stochastic Task and Motion Policies. CoRR abs/2108.12537 (2021) - [i16]Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava:
Joint Communication and Motion Planning for Cobots. CoRR abs/2109.14004 (2021) - [i15]Trevor Angle, Naman Shah, Pulkit Verma
JEDAI Explains Decision-Making AI. CoRR abs/2111.00585 (2021) - 2020
- [j8]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
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 41(4): 100-114 (2020) - [c30]Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati:
TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions. ICAPS 2020: 272-280 - [c29]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
Signaling Friends and Head-Faking Enemies Simultaneously: Balancing Goal Obfuscation and Goal Legibility. AAMAS 2020: 1889-1891 - [c28]Naman Shah, Deepak Kala Vasudevan, Kislay Kumar, Pranav Kamojjhala, Siddharth Srivastava:
Anytime Integrated Task and Motion Policies for Stochastic Environments. ICRA 2020: 9285-9291 - [c27]Daniel Molina, Kislay Kumar, Siddharth Srivastava:
Learn and Link: Learning Critical Regions for Efficient Planning. ICRA 2020: 10605-10611 - [i14]Sarath Sreedharan, Utkarsh Soni, Mudit Verma, Siddharth Srivastava, Subbarao Kambhampati:
Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Black Box Simulators. CoRR abs/2002.01080 (2020) - [i13]Rushang Karia, Siddharth Srivastava:
Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning. CoRR abs/2007.06702 (2020) - [i12]Naman Shah, Abhyudaya Srinet, Siddharth Srivastava:
Learning Sampling Distributions for Efficient High-Dimensional Motion Planning. CoRR abs/2012.00658 (2020)
2010 – 2019
- 2019
- [c26]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
A Unified Framework for Planning in Adversarial and Cooperative Environments. AAAI 2019: 2479-2487 - [c25]Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati:
Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks. IJCAI 2019: 1422-1430 - [e1]J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, Siddharth Srivastava:
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019. AAAI Press 2019 [contents] - [i11]Daniel Molina, Kislay Kumar, Siddharth Srivastava:
Identifying Critical Regions for Motion Planning using Auto-Generated Saliency Labels with Convolutional Neural Networks. CoRR abs/1903.03258 (2019) - [i10]Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati:
Why Couldn't You do that? Explaining Unsolvability of Classical Planning Problems in the Presence of Plan Advice. CoRR abs/1903.08218 (2019) - [i9]Naman Shah, Siddharth Srivastava:
Anytime Integrated Task and Motion Policies for Stochastic Environments. CoRR abs/1904.13006 (2019) - [i8]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
Balancing Goal Obfuscation and Goal Legibility in Settings with Cooperative and Adversarial Observers. CoRR abs/1905.10672 (2019) - [i7]Pulkit Verma
Learning Generalized Models by Interrogating Black-Box Autonomous Agents. CoRR abs/1912.12613 (2019) - 2018
- [j7]Christopher Amato
Reports on the 2018 AAAI Spring Symposium Series. AI Mag. 39(4): 29-35 (2018) - [j6]Fabien Lagriffoul
Platform-Independent Benchmarks for Task and Motion Planning. IEEE Robotics Autom. Lett. 3(4): 3765-3772 (2018) - [c24]Edward Groshev, Aviv Tamar, Maxwell Goldstein, Siddharth Srivastava, Pieter Abbeel:
Learning Generalized Reactive Policies using Deep Neural Networks. AAAI Spring Symposia 2018 - [c23]Siddharth Srivastava:
Safe Goal-Directed Autonomy and the Need for Sound Abstractions. AAAI Spring Symposia 2018 - [c22]Edward Groshev, Maxwell Goldstein, Aviv Tamar, Siddharth Srivastava, Pieter Abbeel:
Learning Generalized Reactive Policies Using Deep Neural Networks. ICAPS 2018: 408-416 - [c21]Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon S. Du, Stuart Russell:
Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms. ICML 2018: 5339-5348 - [c20]Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati:
Hierarchical Expertise Level Modeling for User Specific Contrastive Explanations. IJCAI 2018: 4829-4836 - [i6]Siddharth Srivastava, Nishant Desai, Richard G. Freedman, Shlomo Zilberstein:
An Anytime Algorithm for Task and Motion MDPs. CoRR abs/1802.05835 (2018) - [i5]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
Implicit Robot-Human Communication in Adversarial and Collaborative Environments. CoRR abs/1802.06137 (2018) - [i4]Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati:
Hierarchical Expertise-Level Modeling for User Specific Robot-Behavior Explanations. CoRR abs/1802.06895 (2018) - [i3]Yi Wu, Siddharth Srivastava, Nicholas Hay, Simon S. Du, Stuart Russell:
Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms. CoRR abs/1806.02027 (2018) - 2017
- [i2]Tathagata Chakraborti, Siddharth Srivastava, Alessandro Pinto, Subbarao Kambhampati:
An ROS-based Shared Communication Middleware for Plug & Play Modular Intelligent Design of Smart Systems. CoRR abs/1706.01133 (2017) - [i1]Edward Groshev, Aviv Tamar, Siddharth Srivastava, Pieter Abbeel:
Learning Generalized Reactive Policies using Deep Neural Networks. CoRR abs/1708.07280 (2017) - 2016
- [c19]Siddharth Srivastava, Stuart Russell, Alessandro Pinto:
Metaphysics of Planning Domain Descriptions. AAAI 2016: 1074-1080 - [c18]Rattanachai Ramaithitima, Siddharth Srivastava, Subhrajit Bhattacharya, Alberto Speranzon, Vijay Kumar:
Hierarchical Strategy Synthesis for Pursuit-Evasion Problems. ECAI 2016: 1370-1378 - [c17]Rohan Chitnis, Dylan Hadfield-Menell, Abhishek Gupta, Siddharth Srivastava, Edward Groshev, Christopher Lin, Pieter Abbeel:
Guided search for task and motion plans using learned heuristics. ICRA 2016: 447-454 - [c16]Aijun Bai, Siddharth Srivastava, Stuart Russell:
Markovian State and Action Abstractions for MDPs via Hierarchical MCTS. IJCAI 2016: 3029-3039 - 2015
- [c15]Siddharth Srivastava, Shlomo Zilberstein, Abhishek Gupta, Pieter Abbeel, Stuart Russell:
Tractability of Planning with Loops. AAAI 2015: 3393-3401 - [c14]Siddharth Srivastava, Stuart Russell, Alessandro Pinto:
Metaphysics of Planning Domain Descriptions. AAAI Fall Symposia 2015: 83-90 - 2014
- [c13]Siddharth Srivastava, Eugene Fang, Lorenzo Riano, Rohan Chitnis, Stuart Russell, Pieter Abbeel:
Combined task and motion planning through an extensible planner-independent interface layer. ICRA 2014: 639-646 - [c12]Siddharth Srivastava, Stuart Russell, Paul Ruan, Xiang Cheng:
First-Order Open-Universe POMDPs. UAI 2014: 742-751 - 2012
- [j5]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
Applicability conditions for plans with loops: Computability results and algorithms. Artif. Intell. 191-192: 1-19 (2012) - [j4]Noa Agmon, Vikas Agrawal, David W. Aha, Yiannis Aloimonos, Donagh Buckley, Prashant Doshi, Christopher W. Geib, Floriana Grasso
Reports of the AAAI 2011 Conference Workshops. AI Mag. 33(1): 57-70 (2012) - [c11]Tushar Khot, Siddharth Srivastava, Sriraam Natarajan, Jude W. Shavlik:
Learning Relational Structure for Temporal Relation Extraction. StarAI@UAI 2012 - [c10]Siddharth Srivastava, Stuart Russell, Avi Pfeffer:
First-Order Models for POMDPs. StarAI@UAI 2012 - 2011
- [j3]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
A new representation and associated algorithms for generalized planning. Artif. Intell. 175(2): 615-647 (2011) - [j2]Siddharth Srivastava:
Foundations and applications of generalized planning. AI Commun. 24(4): 349-351 (2011) - [c9]Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner:
Qualitative Numeric Planning. AAAI 2011: 1010-1016 - [c8]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Termination and Correctness Analysis of Cyclic Control. AAAI 2011: 1567-1570 - [c7]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein, Tianjiao Zhang:
Directed Search for Generalized Plans Using Classical Planners. ICAPS 2011 - 2010
- [c6]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Computing Applicability Conditions for Plans with Loops. ICAPS 2010: 161-168 - [c5]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Merging example plans into generalized plans for non-deterministic environments. AAMAS 2010: 1341-1348
2000 – 2009
- 2009
- [j1]Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh:
Simulating reachability using first-order logic with applications to verification of linked data structures. Log. Methods Comput. Sci. 5(2) (2009) - [c4]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Abstract Planning with Unknown Object Quantities and Properties. SARA 2009 - 2008
- [c3]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Learning Generalized Plans Using Abstract Counting. AAAI 2008: 991-997 - [c2]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Using Abstraction for Generalized Planning. ISAIM 2008 - 2005
- [c1]Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh:
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. CADE 2005: 99-115
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 21:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: