A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. - Monica Brockmeyer; Farnam Jahanian; Elly Winner; Constance L. Heitmeyer; Bruce G. Labaw (HASE, 1997)

CM-Trio-99. - Manuela M. Veloso; Scott Lenser; Elly Winner; James Bruce (RoboCup, 1999)

Multi-Fidelity Robotic Behaviors: Acting with Variable State Information. - Elly Winner; Manuela M. Veloso (AAAI/IAAI, 2000)

Vision-Servoed Localization and Behavior-Based Planning for an Autonomous Quadruped Legged Robot. - Manuela M. Veloso; Elly Winner; Scott Lenser; James Bruce; Tucker R. Balch (AIPS, 2000)

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. - Monica Brockmeyer; Farnam Jahanian; Constance L. Heitmeyer; Elly Winner (IEEE Trans. Computers, 2000)

Analyzing Plans with Conditional Effects. - Elly Winner; Manuela M. Veloso (AIPS, 2002)

DISTILL: Learning Domain-Specific Planners by Example. - Elly Winner; Manuela M. Veloso (ICML, 2003)