☰

Siddharth Srivastava, Ph.D.

Affiliations: 
2010 Computer Science University of Massachusetts, Amherst, Amherst, MA 
Area:
Computer Science, Information Technology
Google:
"Siddharth Srivastava"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Neil Immerman grad student 2010 U Mass Amherst
 (Foundations and applications of generalized planning.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Srivastava S, Immerman N, Zilberstein S. (2012) Applicability conditions for plans with loops: Computability results and algorithms Artificial Intelligence. 191: 1-19
Srivastava S. (2011) Foundations and applications of generalized planning Ai Communications. 24: 349-351
Srivastava S, Immerman N, Zilberstein S. (2011) A new representation and associated algorithms for generalized planning Artificial Intelligence. 175: 615-647
Lev-Ami T, Immerman N, Reps T, et al. (2005) Simulating reachability using first-order logic with applications to verification of linked data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3632: 99-115
See more...