Michael J. S. Pelican

According to our database, Michael J. S. Pelican authored at least 14 papers between 1999 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

An Architecture for Hybrid Planning and Execution.

Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae

Proceedings of the Planning for Hybrid Systems, 2016

2014

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

2013

Self-Adaptation Metrics for Active Cybersecurity.

David J. Musliner, Scott E. Friedman, Tom Marble, Jeffrey M. Rye, Michael Boldt, Michael J. S. Pelican

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

2009

Building Coordinated Real-Time Control Plans.

David J. Musliner, Michael J. S. Pelican, Kurt D. Krebsbach

Proceedings of the Safety and Security in Multiagent Systems, 2009

2008

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

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2005

Incremental Verification for On-the-Fly Controller Synthesis.

David J. Musliner, Michael J. S. Pelican, Robert P. Goldman

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

2004

Guiding Planner Backjumping Using Verifier Traces.

Robert P. Goldman, Michael J. S. Pelican, David J. Musliner

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

2002

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis.

Robert P. Goldman, David J. Musliner, Michael J. S. Pelican

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001

Planning with increasingly complex executive models.

David J. Musliner, Robert P. Goldman, Michael J. S. Pelican

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001

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

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers.

David J. Musliner, Robert P. Goldman, Michael J. S. Pelican

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

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

A High-Level "Tasking" Interface for Uninhabited Combat Air Vehicles.

Christopher A. Miller, Michael J. S. Pelican, Robert P. Goldman

Proceedings of the 4th International Conference on Intelligent User Interfaces, 1999