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: