David J. Musliner

CIRCA and the Cassini Saturn Orbit Insertion: Solving a Prepositioning Problem

Robert P. Goldman, David J. Musliner, 1997 .

Predictive sufficiency and the use of stored internal state

Edmund H. Durfee, Kang G. Shin, David J. Musliner, 1994 .

Using Model Checking to Plan Hard Real-Time Controllers

Robert P. Goldman, David J. Musliner, 2000 .

Guaranteeing Safety in Spatially Situate

David J. Musliner, Robert C. Kohout, Robert C. Kohout, 1996 .

You Sense, I'll Act: Coordinated Preemption in Multi-Agent CIRCA

David J. Musliner, Kurt D. Krebsbach, 2001 .

Dynamic reaction on the Maruti hard real-time operating system

James A. Hendler, David J. Musliner, Robert C. Kohout, 1994 .

Adjustable Autonomy in Procedural Control for Refineries

David J. Musliner, Kurt D. Krebsbach, 1999 .