Siddharth Srivastava

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Applicability conditions for plans with loops: Computability results and algorithms. Artif. Intell. 191-192: 1-19 (2012)

Noa Agmon, Vikas Agrawal, David W. Aha, Yiannis Aloimonos, Donagh Buckley, Prashant Doshi, Christopher W. Geib, Floriana Grasso, Nancy 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 P. Singh, Siddharth Srivastava, Gita Sukthankar, David C. Uthus, Mary-Anne Williams: Reports of the AAAI 2011 Conference Workshops. AI Magazine 33(1) (2012)

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: A new representation and associated algorithms for generalized planning. Artif. Intell. 175(2): 615-647 (2011)

Siddharth Srivastava: Foundations and applications of generalized planning. AI Commun. 24(4): 349-351 (2011)

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Termination and Correctness Analysis of Cyclic Control. AAAI 2011

Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner: Qualitative Numeric Planning. AAAI 2011

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein, Tianjiao Zhang: Directed Search for Generalized Plans Using Classical Planners. ICAPS 2011

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Computing Applicability Conditions for Plans with Loops. ICAPS 2010: 161-168

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Merging example plans into generalized plans for non-deterministic environments. AAMAS 2010: 1341-1348

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. Logical Methods in Computer Science 5(2) (2009)

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Abstract Planning with Unknown Object Quantities and Properties. SARA 2009

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Learning Generalized Plans Using Abstract Counting. AAAI 2008: 991-997

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein: Using Abstraction for Generalized Planning. ISAIM 2008

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

Siddharth Srivastava, Dirk Vandermeulen, Frederik Maes, Paul Suetens, Wim Van Paesschen, Patrick Dupont: Feature Based Statistical Analysis of Structural MR Data for Automatic Detection of Focal Cortical Dysplastic (FCD) Lesions. ISBI 2004: 1127-1130

Siddharth Srivastava, Frederik Maes, Dirk Vandermeulen, Wim Van Paesschen, Patrick Dupont, Paul Suetens: Effects of Anatomical Asymmetry in Spatial Priors on Model-Based Segmentation of the Brain MRI: A Validation Study. MICCAI (1) 2004: 327-334

Siddharth Srivastava, Frederik Maes, Dirk Vandermeulen, Patrick Dupont, Wim Van Paesschen, Paul Suetens: An Automated 3D Algorithm for Neo-cortical Thickness Measurement. MICCAI (2) 2003: 488-495

Siddharth Srivastava, Koen Van Leemput, Frederik Maes, Dirk Vandermeulen, Paul Suetens: Validation of Nonlinear Spatial Filtering to Improve Tissue Segmentation of MR Brain Images. MICCAI 2001: 507-515