PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Musliner, David J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Guaranteeing Safety in Spatially Situated Agents.

, , und . AAAI/IAAI, Vol. 2, Seite 909-914. AAAI Press / The MIT Press, (1996)0-262-51091-X.

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.

Dr. Marie Davidova University of Stuttgart

J. K\"astner

J. Schwarz

J. K\"astner

J Walter

 

Weitere Publikationen von Autoren mit dem selben Namen

Projection and Reaction for Decision Support in Refineries: Combining Multiple Theories., und . AAAI Spring Symposium: Challenges to Decision Support in a Changing World, Seite 60-65. AAAI, (2005)CIRCADIA Demonstration: Active Adaptive Defense.. DISCEX (2), Seite 30-31. IEEE Computer Society, (2003)Controlling Deliberation in Coordinators., , und . Metareasoning, MIT Press, (2011)CIRCA: a cooperative intelligent real-time control architecture., , und . IEEE Trans. Systems, Man, and Cybernetics, 23 (6): 1561-1574 (1993)Preface., und . AAAI Spring Symposium: Distributed Plan and Schedule Management, AAAI, (2006)Automatically Repairing Stripped Executables with CFG Microsurgery., und . SASO Workshops, Seite 102-107. IEEE Computer Society, (2015)Applications of Model Checking at Honeywell Laboratories., , , , und . SPIN, Volume 2057 von Lecture Notes in Computer Science, Seite 296-303. Springer, (2001)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)Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis.. IWSAS, Volume 1936 von Lecture Notes in Computer Science, Seite 143-160. Springer, (2000)Guaranteeing Safety in Spatially Situated Agents., , und . AAAI/IAAI, Vol. 2, Seite 909-914. AAAI Press / The MIT Press, (1996)0-262-51091-X.