| 2006 |
|---|
| 5 | EE | David J. Musliner,
Michael J. S. Pelican,
Robert P. Goldman:
Incremental Verification for On-the-Fly Controller Synthesis.
Electr. Notes Theor. Comput. Sci. 149(2): 71-90 (2006) |
| 2004 |
|---|
| 4 | | Robert P. Goldman,
Michael J. S. Pelican,
David J. Musliner:
Guiding Planner Backjumping Using Verifier Traces.
ICAPS 2004: 279-286 |
| 2002 |
|---|
| 3 | EE | Robert P. Goldman,
David J. Musliner,
Michael J. S. Pelican:
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis.
HSCC 2002: 225-238 |
| 2000 |
|---|
| 2 | | David J. Musliner,
Robert P. Goldman,
Michael J. S. Pelican:
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers.
ICRA 2000: 95-101 |
| 1999 |
|---|
| 1 | EE | Christopher A. Miller,
Michael J. S. Pelican,
Robert P. Goldman:
A High-Level ``Tasking'' Interface for Uninhabited Combat Air Vehicles.
IUI 1999: 197 |
