Follow
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
4792007
Anonymizing social networks
M Hay, G Miklau, D Jensen, P Weis, S Srivastava
Computer Science Department Faculty Publication Series, 180, 2007
4702007
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
4632014
Learning Generalized Reactive Policies using Deep Neural Networks
E Groshev, A Tamar, M Goldstein, S Srivastava, P Abbeel
ICAPS, 2018
872018
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
762005
A new representation and associated algorithms for generalized planning
S Srivastava, N Immerman, S Zilberstein
Artificial Intelligence 175 (2), 615-647, 2011
752011
Learning Generalized Plans Using Abstract Counting.
S Srivastava, N Immerman, S Zilberstein
AAAI 8, 991-997, 2008
662008
A unified framework for planning in adversarial and cooperative environments
A Kulkarni, S Srivastava, S Kambhampati
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2479-2487, 2019
572019
Hierarchical Expertise Level Modeling for User-Specific Contrastive Explanations
S Sreedharan, S Srivastava, S Kambhampati
IJCAI, 2018
572018
Platform-independent benchmarks for task and motion planning
F Lagriffoul, NT Dantam, C Garrett, A Akbari, S Srivastava, LE Kavraki
IEEE Robotics and Automation Letters 3 (4), 3765-3772, 2018
502018
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
502013
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
492016
Guided Search for Task and Motion Plans Using Learned Heuristics
PA Rohan Chitnis, Dylan Hadfield-Menell, Abhishek Gupta, Siddharth ...
ICRA, 2016
49*2016
Markovian State and Action Abstractions for MDPs via Hierarchical MCTS.
A Bai, S Srivastava, SJ Russell
IJCAI, 3029-3039, 2016
472016
Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks
S Sreedharan, S Srivastava, D Smith, S Kambhampati
International Joint Conference on Artificial Intelligence, 2019
362019
Qualitative numeric planning
S Srivastava, S Zilberstein, N Immerman, H Geffner
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 1010-1016, 2011
322011
Directed search for generalized plans using classical planners
S Srivastava, N Immerman, S Zilberstein, T Zhang
Twenty-First International Conference on Automated Planning and Scheduling, 2011
302011
Metaphysics of planning domain descriptions
S Srivastava, S Russell, A Pinto
2015 AAAI Fall Symposium Series, 2015
262015
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, ]
Logical Methods in Computer Science 5, 2009
242009
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
222013
The system can't perform the operation now. Try again later.
Articles 1–20