| 2003 |
|---|
| 6 | EE | Jason Hickey,
Aleksey Nogin,
Robert L. Constable,
Brian E. Aydemir,
Eli Barzilay,
Yegor Bryukhov,
Richard Eaton,
Adam Granicz,
Alexei Kopylov,
Christoph Kreitz,
Vladimir Krupski,
Lori Lorigo,
Stephan Schmitt,
Carl Witty,
Xin Yu:
MetaPRL - A Modular Logical Environment.
TPHOLs 2003: 287-303 |
| 2002 |
|---|
| 5 | EE | Robert Givan,
David A. McAllester,
Carl Witty,
Dexter Kozen:
Tarskian Set Constraints.
Inf. Comput. 174(2): 105-131 (2002) |
| 1997 |
|---|
| 4 | | Barry Brian Werger,
Pablo Funes,
Miguel Schneider-Fontán,
Randy Sargent,
Carl Witty,
Tim Witty:
The Spirit of Bolivia: Complex Behavior Through Minimal Control.
RoboCup 1997: 348-356 |
| 3 | | Randy Sargent,
Bill Bailey,
Carl Witty,
Anne Wright:
Dynamic Object Capture Using Fast Vision Tracking.
AI Magazine 18(1): 65-72 (1997) |
| 2 | EE | Randy Sargent,
Bill Bailey,
Carl Witty,
Anne Wright:
The importance of fast vision in winning the First Micro-Robot World Cup Soccer Tournament.
Robotics and Autonomous Systems 21(2): 139-147 (1997) |
| 1996 |
|---|
| 1 | | David A. McAllester,
Robert Givan,
Carl Witty,
Dexter Kozen:
Tarskian Set Constraints.
LICS 1996: 138-147 |
