( en | de | ru )

 

Disambiguation of "Pelican, Michael J. S."

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Self-adaptive software for hard real-time environments., , , and . IEEE Intell. Syst., 14 (4): 23-29 (1999)A High-Level "Tasking" Interface for Uninhabited Combat Air Vehicles., , and . IUI, page 197. ACM, (1999)Incremental Verification for On-the-Fly Controller Synthesis., , and . MoChArt@CONCUR/SPIN, volume 149 of Electronic Notes in Theoretical Computer Science, page 71-90. Elsevier, (2005)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 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)Building Coordinated Real-Time Control Plans., , and . Safety and Security in Multiagent Systems, volume 4324 of Lecture Notes in Computer Science, Springer, (2009)