Siddharth Srivastava
Title
Cited by
Cited by
Year
Anonymizing social networks
M Hay, G Miklau, D Jensen, P Weis, S Srivastava
Computer science department faculty publication series, 180, 2007
4192007
Anonymizing social networks
M Hay, G Miklau, D Jensen, P Weis, S Srivastava
Computer Science Department Faculty Publication Series, 180, 2007
4142007
Combined task and motion planning through an extensible planner-independent interface layer
S Srivastava, E Fang, L Riano, R Chitnis, S Russell, P Abbeel
2014 IEEE International Conference on Robotics and Automation (ICRA), 639-646, 2014
3172014
Simulating reachability using first-order logic with applications to verification of linked data structures
T Lev-Ami, N Immerman, T Reps, M Sagiv, S Srivastava, G Yorsh
International Conference on Automated Deduction, 99-115, 2005
742005
A new representation and associated algorithms for generalized planning
S Srivastava, N Immerman, S Zilberstein
Artificial Intelligence 175 (2), 615-647, 2011
552011
Learning Generalized Plans Using Abstract Counting.
S Srivastava, N Immerman, S Zilberstein
AAAI 8, 991-997, 2008
512008
Using classical planners for tasks with continuous operators in robotics
S Srivastava, L Riano, S Russell, P Abbeel
Intl. Conf. on Automated Planning and Scheduling, 2013
442013
Learning Generalized Reactive Policies using Deep Neural Networks
PA Edward Groshev, Aviv Tamar, Maxwell Goldstein, Siddharth Srivatava
ICAPS, 2018
40*2018
Markovian State and Action Abstractions for MDPs via Hierarchical MCTS.
A Bai, S Srivastava, SJ Russell
IJCAI, 3029-3039, 2016
332016
Markovian State and Action Abstractions for MDPs via Hierarchical MCTS
SR Aijun Bai, Siddharth Srivastava
IJCAI, 2016
332016
Hierarchical Expertise Level Modeling for User-Specific Contrastive Explanations
SK Sarath Sreedharan, Siddharth Srivastava
IJCAI, 2018
282018
Guided search for task and motion plans using learned heuristics
R Chitnis, D Hadfield-Menell, A Gupta, S Srivastava, E Groshev, C Lin, ...
2016 IEEE International Conference on Robotics and Automation (ICRA), 447-454, 2016
262016
Guided Search for Task and Motion Plans Using Learned Heuristics
PA Rohan Chitnis, Dylan Hadfield-Menell, Abhishek Gupta, Siddharth ...
ICRA, 2016
26*2016
Directed Search for Generalized Plans Using Classical Planners.
S Srivastava, N Immerman, S Zilberstein, T Zhang
ICAPS, 2011
232011
First-order open-universe POMDPs: Formulation and algorithms
S Srivastava, X Cheng, SJ Russell, A Pfeffer
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2013
212013
Simulating reachability using first-order logic with applications to verification of linked data structures
T Lev-Ami, N Immerman, T Reps, M Sagiv, S Srivastava, G Yorsh
arXiv preprint arXiv:0904.4902, 2009
212009
Qualitative Numeric Planning.
S Srivastava, S Zilberstein, N Immerman, H Geffner
AAAI, 2011
142011
Metaphysics of Planning Domain Descriptions.
S Srivastava, SJ Russell, A Pinto
AAAI, 1074-1080, 2016
132016
Computing Applicability Conditions for Plans with Loops.
S Srivastava, N Immerman, S Zilberstein
ICAPS, 161-168, 2010
132010
Tractability of Planning with Loops
S Srivastava, S Zilberstein, A Gupta, P Abbeel, S Russell
122015
The system can't perform the operation now. Try again later.
Articles 1–20