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

Neural Policy Safety Verification via Predicate Abstraction: CEGAR., , und . AAAI, Seite 15188-15196. AAAI Press, (2023)Red-Black Relaxed Plan Heuristics., , und . AAAI, Seite 489-495. AAAI Press, (2013)Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search., , , , , und . AAAI, Seite 9827-9834. AAAI Press, (2020)Refining Abstraction Heuristics during Real-Time Planning., , , und . AAAI, Seite 7578-7585. AAAI Press, (2019)Semi-Relaxed Plan Heuristics., , und . AAAI, Seite 2126-2128. AAAI Press, (2012)DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning., , , , , und . QEST, Volume 12846 von Lecture Notes in Computer Science, Seite 197-216. Springer, (2021)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , und . TAILOR, Volume 12641 von Lecture Notes in Computer Science, Seite 83-90. Springer, (2020)Systematic Analysis of IT Complexity Challenges Hindering the Implementation of Industrie 4.0 Roadmaps., , , , , und . ICSLT, Seite 104-108. ACM, (2019)Information Logistics for a People-Mover Platform., , , und . ICSLT, Seite 39-44. ACM, (2019)Conformant planning via heuristic forward search: A new approach., und . Artif. Intell., 170 (6-7): 507-541 (2006)