• Home
• Publications
• Talks
• Projects

Siddharth Srivastava's Publications

• Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. Learning Generalized Plans Using Abstract Counting. In Proceedings of The Twenty Third AAAI Conference on Artificial Intelligence, 2008. [Talk]
  
  
• Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. Using Abstraction for Generalized Planning, International Symposium on AI and Mathematics, 2008.
  
  An earlier version of this work appeared at the ICAPS Workshop on Artificial Intelligence Planning and Learning, 2007.
  
  
• Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. Using Abstraction for Generalized Planning (Extended Version), Technical Report 07-41, Deptt. of Computer Science, University of Massachusetts, Amherst, 2007.
  
  
• T. Lev-Ami, N. Immerman, T. Reps, M. Sagiv, S. Srivastava and G. Yorsh. Simulating Reachability using First-Order Logic with Applications to Verification of Linked Data Structures, 20th International Conference on Automated Deduction, 2005.