( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Architecture for Hybrid Planning and Execution.

, , , , и . AAAI Workshop: Planning for Hybrid Systems, том WS-16-12 из 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.

Michaela Pelican

Michaela Pelican

Jona J S Kayser

Miriam J S Leis

Yun-j ng S

 

Другие публикации лиц с тем же именем

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