|
Search the dblp DataBase
Michael J. S. Pelican:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
Guiding Planner Backjumping Using Verifier Traces. [Citation Graph (0, 0)][DBLP] ICAPS, 2004, pp:279-286 [Conf]
- Robert P. Goldman, David J. Musliner, Michael J. S. Pelican
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. [Citation Graph (0, 0)][DBLP] HSCC, 2002, pp:225-238 [Conf]
- David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. [Citation Graph (0, 0)][DBLP] ICRA, 2000, pp:95-101 [Conf]
- Christopher A. Miller, Michael J. S. Pelican, Robert P. Goldman
A High-Level ``Tasking'' Interface for Uninhabited Combat Air Vehicles. [Citation Graph (0, 0)][DBLP] Intelligent User Interfaces, 1999, pp:197- [Conf]
- David J. Musliner, Michael J. S. Pelican, Robert P. Goldman
Incremental Verification for On-the-Fly Controller Synthesis. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:71-90 [Journal]
Search in 0.001secs, Finished in 0.001secs
|