( en | de | ru )

 

Disambiguation of "Pelican, Michael J. S."

Author of the publication

copydeleteadd this publication to your clipboard
An Architecture for Hybrid Planning and Execution.

, , , , and . AAAI Workshop: Planning for Hybrid Systems, volume WS-16-12 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michaela Pelican

Michaela Pelican

Jona J S Kayser

Miriam J S Leis

Yun-j ng S

 

Other publications of authors with the same name

A High-Level "Tasking" Interface for Uninhabited Combat Air Vehicles., , and . IUI, page 197. ACM, (1999)Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis., , and . HSCC, volume 2289 of Lecture Notes in Computer Science, page 225-238. Springer, (2002)An Architecture for Hybrid Planning and Execution., , , , and . AAAI Workshop: Planning for Hybrid Systems, volume WS-16-12 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control., , , , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 388-394. Springer, (2016)The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees., , , , and . AAAI Spring Symposium: Emotion, Personality, and Social Behavior, page 43-48. AAAI, (2008)Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers., , and . ICRA, page 95-101. IEEE, (2000)A loop acceleration technique to speed up verification of automatically generated plans., , and . Int. J. Softw. Tools Technol. Transf., 16 (1): 13-29 (2014)Planning with increasingly complex executive models., , and . IROS, page 2124-2130. IEEE, (2001)Guiding Planner Backjumping Using Verifier Traces., , and . ICAPS, page 279-286. AAAI, (2004)Self-Adaptation Metrics for Active Cybersecurity., , , , , and . SASO Workshops, page 53-58. IEEE Computer Society, (2013)