Siddharth Srivastava
homepage:http://www.cs.umass.edu/~siddhart/
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife

Description

I am a post-doctoral research associate at the Department of Computer Science at University of Massachusetts, Amherst. My research involves using mathematical logic and abstraction techniques from model checking for synthesis and learning of algorithmic generalized plans with formal guarantees of correctness. To learn more about my research, follow the links on the left or visit the website on Generalized Planning.


Lectures:

lecture
flag Directed Search for Generalized Plans Using Classical Planners
as author at  21st International Conference on Automated Planning and Scheduling (ICAPS), Freiburg 2011,
3418 views
  lecture
flag Computing Applicability Conditions for Plans with Loops
as author at  20th International Conference on Automated Planning and Scheduling (ICAPS), Toronto 2010,
2579 views