A High-Level "Tasking" Interface for Uninhabited Combat Air Vehicles. - Christopher A. Miller 001; Michael J. S. Pelican; Robert P. Goldman (IUI, 1999)

Self-adaptive software for hard real-time environments. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican; Kurt D. Krebsbach (IEEE Intell. Syst., 1999)

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican (ICRA, 2000)

Coordinated deployment of multiple, heterogeneous robots. - Reid G. Simmons; David Apfelbaum; Dieter Fox; Robert P. Goldman; Karen Zita Haigh; David J. Musliner; Michael J. S. Pelican; Sebastian Thrun (IROS, 2000)

Planning with increasingly complex executive models. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican (IROS, 2001)

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. - Robert P. Goldman; David J. Musliner; Michael J. S. Pelican (HSCC, 2002)

Guiding Planner Backjumping Using Verifier Traces. - Robert P. Goldman; Michael J. S. Pelican; David J. Musliner (ICAPS, 2004)

Incremental Verification for On-the-Fly Controller Synthesis. - David J. Musliner; Michael J. S. Pelican; Robert P. Goldman (MoChArt@CONCUR/SPIN, 2005)

The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees. - David J. Musliner; Michael J. S. Pelican; Robert P. Goldman; Kurt D. Krebsbach; Edmund H. Durfee (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

Building Coordinated Real-Time Control Plans. - David J. Musliner; Michael J. S. Pelican; Kurt D. Krebsbach (Safety and Security in Multiagent Systems, 2009)

Self-Adaptation Metrics for Active Cybersecurity. - David J. Musliner; Scott E. Friedman; Tom Marble; Jeffrey M. Rye; Michael Boldt; Michael J. S. Pelican (SASO Workshops, 2013)

A loop acceleration technique to speed up verification of automatically generated plans. - Robert P. Goldman; Michael J. S. Pelican; David J. Musliner (Int. J. Softw. Tools Technol. Transf., 2014)

An Architecture for Hybrid Planning and Execution. - Robert P. Goldman; Daniel Bryce; Michael J. S. Pelican; David J. Musliner; Kyungmin Bae (AAAI Workshop: Planning for Hybrid Systems, 2016)

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. - Robert P. Goldman; Daniel Bryce; Michael J. S. Pelican; David J. Musliner; Kyungmin Bae (NFM, 2016)