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

Lex-Partitioning: A New Option for BDD Search, , und . GRAPHITE, Volume 99 von EPTCS, Seite 66-82. (2012)BDDs Strike Back (in AI Planning)., , und . AAAI, Seite 4320-4321. AAAI Press, (2015)Optimal Mixed Strategies for Cost-Adversarial Planning Games., , , , und . ICAPS, Seite 160-168. AAAI Press, (2022)Symbolic Planning with Axioms., , , und . ICAPS, Seite 464-472. AAAI Press, (2019)Beyond Stars - Generalized Topologies for Decoupled Search., , und . ICAPS, Seite 110-118. AAAI Press, (2022)Simulation-Based Admissible Dominance Pruning., und . IJCAI, Seite 1689-1695. AAAI Press, (2015)On State-Dominance Criteria in Fork-Decoupled Search., , , und . IJCAI, Seite 3265-3271. IJCAI/AAAI Press, (2016)NetStack: A Game Approach to Synthesizing Consistent Network Updates., , und . IFIP Networking, Seite 1-9. IEEE, (2022)Practical Undoability Checking via Contingent Planning., , , , und . ICAPS, Seite 106-114. AAAI Press, (2016)Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties., , , und . IJCAI, Seite 4091-4097. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..