( en | de | ru )

 

Disambiguierung von "Pelican, Michael J. S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Self-Adaptation Metrics for Active Cybersecurity.

, , , , , und . SASO Workshops, Seite 53-58. IEEE Computer Society, (2013)

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

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 High-Level "Tasking" Interface for Uninhabited Combat Air Vehicles., , und . IUI, Seite 197. ACM, (1999)Planning with increasingly complex executive models., , und . IROS, Seite 2124-2130. IEEE, (2001)A loop acceleration technique to speed up verification of automatically generated plans., , und . Int. J. Softw. Tools Technol. Transf., 16 (1): 13-29 (2014)Guiding Planner Backjumping Using Verifier Traces., , und . ICAPS, Seite 279-286. AAAI, (2004)Self-Adaptation Metrics for Active Cybersecurity., , , , , und . SASO Workshops, Seite 53-58. IEEE Computer Society, (2013)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)Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers., , und . ICRA, Seite 95-101. IEEE, (2000)Building Coordinated Real-Time Control Plans., , und . Safety and Security in Multiagent Systems, Volume 4324 von Lecture Notes in Computer Science, Springer, (2009)