Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases., , and . ICAPS, page 138-147. AAAI Press, (2023)From Fork Decoupling to Star-Topology Decoupling., , and . SOCS, page 53-61. AAAI Press, (2015)Model Checking ømega-Regular Properties with Decoupled Search., , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 411-434. Springer, (2021)Planning over Integers: Compilations and Undecidability., , , and . ICAPS, page 148-152. AAAI Press, (2023)Additive Pattern Databases for Decoupled Search., , and . SOCS, page 180-189. AAAI Press, (2022)Beating LM-Cut with hmax (Sometimes): Fork-Decoupled State Space Search., and . ICAPS, page 88-96. AAAI Press, (2015)Advanced Factoring Strategies for Decoupled Search Using Linear Programming., , and . ICAPS, page 377-381. AAAI Press, (2019)Beyond Stars - Generalized Topologies for Decoupled Search., , and . ICAPS, page 110-118. AAAI Press, (2022)Custom-Design of FDR Encodings: The Case of Red-Black Planning., , , and . IJCAI, page 4054-4061. ijcai.org, (2021)Structurally Restricted Fragments of Numeric Planning - a Complexity Analysis., , and . AAAI, page 12112-12119. AAAI Press, (2023)