Elnatan Reisner

The game of End-Wythoff

Aviezri S. Fraenkel, Elnatan Reisner, 2009 .

Using Classical Planners to Solve Nondeterministic Planning Problems

Robert P. Goldman, Dana S. Nau, Ugur Kuter, 2008, ICAPS.

Evaluating Interaction Patterns in Configurable Software Systems

Charles Song, Jeffrey S. Foster, Adam Porter, 2009 .

MultiOtter: Multiprocess Symbolic Execution

Jeffrey S. Foster, Michael Hicks, Elnatan Reisner, 2011 .

Using symbolic evaluation to understand behavior in configurable software systems

Adam A. Porter, Charles Song, Jeffrey S. Foster, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning

Robert P. Goldman, Dana S. Nau, Ron Alford, 2009, FLAIRS Conference.