( en | de | ru )

 

Disambiguierung von "Pelican, Michael J. S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers.

, , und . ICRA, Seite 95-101. IEEE, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michaela Pelican

Michaela Pelican

Jona J S Kayser

Miriam J S Leis

Yun-j ng S

 

Weitere Publikationen von Autoren mit dem selben Namen

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