Michael J. S. Pelican

14 papers A* 2A 3Journal 2Unranked 6

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. NFM Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
2016	—	`conf`	An Architecture for Hybrid Planning and Execution. AAAI Workshop: Planning for Hybrid Systems Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
2014	J	`jnl`	A loop acceleration technique to speed up verification of automatically generated plans. Int. J. Softw. Tools Technol. Transf. Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
2013	—	`conf`	Self-Adaptation Metrics for Active Cybersecurity. SASO Workshops David J. Musliner, Scott E. Friedman, Tom Marble, Jeffrey M. Rye, Michael Boldt, Michael J. S. Pelican
2009	—	`ch.`	Building Coordinated Real-Time Control Plans. Safety and Security in Multiagent Systems David J. Musliner, Michael J. S. Pelican, Kurt D. Krebsbach
2008	—	`conf`	The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees. AAAI Spring Symposium: Emotion, Personality, and Social Behavior David J. Musliner, Michael J. S. Pelican, Robert P. Goldman, Kurt D. Krebsbach, Edmund H. Durfee
2005	—	`conf`	Incremental Verification for On-the-Fly Controller Synthesis. MoChArt@CONCUR/SPIN David J. Musliner, Michael J. S. Pelican, Robert P. Goldman
2004	A*	`conf`	Guiding Planner Backjumping Using Verifier Traces. ICAPS Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
2002	—	`conf`	Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. HSCC Robert P. Goldman, David J. Musliner, Michael J. S. Pelican
2001	A	`conf`	Planning with increasingly complex executive models. IROS David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
2000	A	`conf`	Coordinated deployment of multiple, heterogeneous robots. IROS Reid G. Simmons, David Apfelbaum, Dieter Fox, Robert P. Goldman, Karen Zita Haigh, David J. Musliner, Michael J. S. Pelican, Sebastian Thrun
2000	A*	`conf`	Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. ICRA David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
1999	A	`conf`	A High-Level "Tasking" Interface for Uninhabited Combat Air Vehicles. IUI Christopher A. Miller, Michael J. S. Pelican, Robert P. Goldman
1999	J	`jnl`	Self-adaptive software for hard real-time environments. IEEE Intell. Syst. David J. Musliner, Robert P. Goldman, Michael J. S. Pelican, Kurt D. Krebsbach