Immerman, Neil

4 publications

AAAI 2011 Qualitative Numeric Planning Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner

AAAI 2011 Termination and Correctness Analysis of Cyclic Control Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

AAAI 2008 Learning Generalized Plans Using Abstract Counting Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

UAI 2000 The Complexity of Decentralized Control of Markov Decision Processes Daniel S. Bernstein, Shlomo Zilberstein, Neil Immerman