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

Decision-Theoretic Planning with non-Markovian Rewards, , , , and . CoRR, (2011)Formally Verified Algorithms for Upper-Bounding State Space Diameters., , and . J. Autom. Reason., 61 (1-4): 485-520 (2018)A Verified Compositional Algorithm for AI Planning., , and . ITP, volume 141 of LIPIcs, page 4:1-4:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Induction of topological environment maps from sequences of visited places., , , and . IROS, page 2890-2895. IEEE, (2008)A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds., , and . ICAPS, page 2-10. AAAI Press, (2017)A TIL-Relaxed Heuristic for Planning with Time Windows., , and . ICAPS, page 2-10. AAAI Press, (2018)Partial Weighted MaxSAT for Optimal Planning., , , and . PRICAI, volume 6230 of Lecture Notes in Computer Science, page 231-243. Springer, (2010)SAT-Based Parallel Planning Using a Split Representation of Actions., , , and . ICAPS, AAAI, (2009)Enhanced adaptive optics control with image to image translation., , , and . UAI, volume 180 of Proceedings of Machine Learning Research, page 1846-1856. PMLR, (2022)The Role of Stop-Loss Orders in Market Efficiency and Stability: An Agent-Based Study., , and . ICAART (1), page 280-288. SCITEPRESS, (2024)