Autor der Publikation

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.

 

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)A Constraint-Based Scheduler for Batch Manufacturing., und . IEEE Expert, 12 (1): 49-56 (1997)Applications of Model Checking at Honeywell Laboratories., , , , und . SPIN, Volume 2057 von Lecture Notes in Computer Science, Seite 296-303. Springer, (2001)A Logic for Semantic Interpretation., und . ACL, Seite 87-94. ACL, (1988)Conditional Linear Planning., und . AIPS, Seite 80-85. AAAI, (1994)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.Plan Libraries for Plan Recognition: Do We Really Know What They Model?, , und . Plan, Activity, and Intent Recognition, Volume WS-10-05 von AAAI Technical Report, AAAI, (2010)Collaborative Filtering for Community Threats., , , und . AAAI Spring Symposium: AI Technologies for Homeland Security, Seite 130-132. AAAI, (2005)Dynamic construction of belief networks., und . UAI, Seite 171-184. Elsevier, (1990)A Probabilistic Model of Plan Recognition., und . AAAI, Seite 160-165. AAAI Press / The MIT Press, (1991)