Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSiddharth Srivastava 0001
Person information
- affiliation: Arizona State University, Tempe, AZ, USA
- affiliation (former): University of Massachusetts, Amherst, MA, USA
Other persons with the same name
- Siddharth Srivastava — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j7]Siddharth Srivastava:
Hierarchical Decompositions and Termination Analysis for Generalized Planning. J. Artif. Intell. Res. 77: 1203-1236 (2023)- 2021
- [j6]Sarath Sreedharan
, Siddharth Srivastava, Subbarao Kambhampati:
Using state abstractions to compute personalized contrastive explanations for AI agent behavior. Artif. Intell. 301: 103570 (2021) - 2018
- [j5]Fabien Lagriffoul, Neil T. Dantam, Caelan Reed Garrett, Aliakbar Akbari, Siddharth Srivastava, Lydia E. Kavraki:
Platform-Independent Benchmarks for Task and Motion Planning. IEEE Robotics Autom. Lett. 3(4): 3765-3772 (2018) - 2012
- [j4]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Applicability conditions for plans with loops: Computability results and algorithms. Artif. Intell. 191-192: 1-19 (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) - 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)
Conference and Workshop Papers
- 2024
- [c42]Naman Shah, Siddharth Srivastava:
Hierarchical Planning and Learning for Robots in Stochastic Settings Using Zero-Shot Option Invention. AAAI 2024: 10358-10367 - [c41]Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava:
Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings. ICAPS 2024: 310-318 - 2023
- [c40]Pulkit Verma, Rushang Karia, Siddharth Srivastava:
Autonomous Capability Assessment of Sequential Decision-Making Systems in Stochastic Settings. NeurIPS 2023 - [c39]Mehdi Dadvar, Rashmeet Kaur Nayyar, Siddharth Srivastava:
Conditional abstraction trees for sample-efficient reinforcement learning. UAI 2023: 485-495 - 2022
- [c38]Rashmeet Kaur Nayyar, Pulkit Verma, Siddharth Srivastava:
Differential Assessment of Black-Box AI Agents. AAAI 2022: 9868-9876 - [c37]Naman Shah, Siddharth Srivastava:
Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning. AAMAS 2022: 1183-1191 - [c36]Naman Shah, Pulkit Verma, Trevor Angle, Siddharth Srivastava:
JEDAI: A System for Skill-Aligned Explainable Robot Planning. AAMAS 2022: 1917-1919 - [c35]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 - [c34]Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava:
Joint Communication and Motion Planning for Cobots. ICRA 2022: 4771-4777 - [c33]Rushang Karia, Siddharth Srivastava:
Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems. IJCAI 2022: 3135-3142 - [c32]Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava:
Discovering User-Interpretable Capabilities of Black-Box Planning Agents. KR 2022 - [c31]Rushang Karia, Rashmeet Kaur Nayyar, Siddharth Srivastava:
Learning Generalized Policy Automata for Relational Stochastic Shortest Path Problems. NeurIPS 2022 - 2021
- [c30]Rushang Karia, Siddharth Srivastava:
Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning. AAAI 2021: 8064-8073 - [c29]Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava:
Asking the Right Questions: Learning Interpretable Action Models Through Query Answering. AAAI 2021: 12024-12033 - [c28]Siddharth Srivastava:
Unifying Principles and Metrics for Safe and Assistive AI. AAAI 2021: 15064-15068 - 2020
- [c27]Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati:
TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions. ICAPS 2020: 272-280 - [c26]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
Signaling Friends and Head-Faking Enemies Simultaneously: Balancing Goal Obfuscation and Goal Legibility. AAMAS 2020: 1889-1891 - [c25]Naman Shah, Deepak Kala Vasudevan, Kislay Kumar, Pranav Kamojjhala, Siddharth Srivastava:
Anytime Integrated Task and Motion Policies for Stochastic Environments. ICRA 2020: 9285-9291 - [c24]Daniel Molina, Kislay Kumar, Siddharth Srivastava:
Learn and Link: Learning Critical Regions for Efficient Planning. ICRA 2020: 10605-10611 - 2019
- [c23]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
A Unified Framework for Planning in Adversarial and Cooperative Environments. AAAI 2019: 2479-2487 - [c22]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 - 2018
- [c21]Edward Groshev, Aviv Tamar, Maxwell Goldstein, Siddharth Srivastava, Pieter Abbeel:
Learning Generalized Reactive Policies using Deep Neural Networks. AAAI Spring Symposia 2018 - [c20]Siddharth Srivastava:
Safe Goal-Directed Autonomy and the Need for Sound Abstractions. AAAI Spring Symposia 2018 - [c19]Edward Groshev, Maxwell Goldstein, Aviv Tamar, Siddharth Srivastava, Pieter Abbeel:
Learning Generalized Reactive Policies Using Deep Neural Networks. ICAPS 2018: 408-416 - [c18]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 - [c17]Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati:
Hierarchical Expertise Level Modeling for User Specific Contrastive Explanations. IJCAI 2018: 4829-4836 - 2016
- [c16]Siddharth Srivastava, Stuart Russell, Alessandro Pinto:
Metaphysics of Planning Domain Descriptions. AAAI 2016: 1074-1080 - [c15]Rattanachai Ramaithitima, Siddharth Srivastava, Subhrajit Bhattacharya, Alberto Speranzon, Vijay Kumar:
Hierarchical Strategy Synthesis for Pursuit-Evasion Problems. ECAI 2016: 1370-1378 - [c14]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 - [c13]Aijun Bai, Siddharth Srivastava, Stuart Russell:
Markovian State and Action Abstractions for MDPs via Hierarchical MCTS. IJCAI 2016: 3029-3039 - 2015
- [c12]Siddharth Srivastava, Shlomo Zilberstein, Abhishek Gupta, Pieter Abbeel, Stuart Russell:
Tractability of Planning with Loops. AAAI 2015: 3393-3401 - [c11]Siddharth Srivastava, Stuart Russell, Alessandro Pinto:
Metaphysics of Planning Domain Descriptions. AAAI Fall Symposia 2015: 83-90 - 2014
- [c10]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 - [c9]Siddharth Srivastava, Stuart Russell, Paul Ruan, Xiang Cheng:
First-Order Open-Universe POMDPs. UAI 2014: 742-751 - 2011
- [c8]Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner:
Qualitative Numeric Planning. AAAI 2011: 1010-1016 - [c7]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Termination and Correctness Analysis of Cyclic Control. AAAI 2011: 1567-1570 - [c6]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein, Tianjiao Zhang:
Directed Search for Generalized Plans Using Classical Planners. ICAPS 2011 - 2010
- [c5]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Computing Applicability Conditions for Plans with Loops. ICAPS 2010: 161-168 - [c4]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Merging example plans into generalized plans for non-deterministic environments. AAMAS 2010: 1341-1348 - 2009
- [c3]Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Abstract Planning with Unknown Object Quantities and Properties. SARA 2009 - 2008
- [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
Informal and Other Publications
- 2024
- [i22]Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava:
Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings. CoRR abs/2402.08145 (2024) - [i21]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) - [i20]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) - [i19]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) - [i18]Daniel Bramblett, Siddharth Srivastava:
Belief-State Query Policies for Planning With Preferences Under Partial Observability. CoRR abs/2405.15907 (2024) - 2023
- [i17]Pulkit Verma, Rushang Karia, Siddharth Srivastava:
Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems. CoRR abs/2306.04806 (2023) - 2022
- [i16]Naman Shah, Siddharth Srivastava:
Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning. CoRR abs/2202.00907 (2022) - [i15]Rashmeet Kaur Nayyar, Pulkit Verma, Siddharth Srivastava:
Differential Assessment of Black-Box AI Agents. CoRR abs/2203.13236 (2022) - [i14]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) - [i13]Rushang Karia, Siddharth Srivastava:
Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems. CoRR abs/2204.12665 (2022) - 2021
- [i12]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
Planning for Proactive Assistance in Environments with Partial Observability. CoRR abs/2105.00525 (2021) - [i11]Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava:
Learning User-Interpretable Descriptions of Black-Box AI System Capabilities. CoRR abs/2107.13668 (2021) - [i10]Pulkit Verma, Siddharth Srivastava:
Learning Causal Models of Autonomous Agents using Interventions. CoRR abs/2108.09586 (2021) - [i9]Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava:
Joint Communication and Motion Planning for Cobots. CoRR abs/2109.14004 (2021) - 2020
- [i8]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) - [i7]Rushang Karia, Siddharth Srivastava:
Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning. CoRR abs/2007.06702 (2020) - 2019
- [i6]Naman Shah, Siddharth Srivastava:
Anytime Integrated Task and Motion Policies for Stochastic Environments. CoRR abs/1904.13006 (2019) - [i5]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
Balancing Goal Obfuscation and Goal Legibility in Settings with Cooperative and Adversarial Observers. CoRR abs/1905.10672 (2019) - [i4]Pulkit Verma, Siddharth Srivastava:
Learning Generalized Models by Interrogating Black-Box Autonomous Agents. CoRR abs/1912.12613 (2019) - 2018
- [i3]Anagha Kulkarni, Siddharth Srivastava, Subbarao Kambhampati:
Implicit Robot-Human Communication in Adversarial and Collaborative Environments. CoRR abs/1802.06137 (2018) - [i2]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
- [i1]Edward Groshev, Aviv Tamar, Siddharth Srivastava, Pieter Abbeel:
Learning Generalized Reactive Policies using Deep Neural Networks. CoRR abs/1708.07280 (2017)
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-06-19 23:35 CEST 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:
