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

Planning under Uncertainty and Temporally Extended Goals.. IJCAI, page 3976-3977. IJCAI/AAAI Press, (2016)Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces., , , , and . AAAI, page 3716-3724. AAAI Press, (2017)Learning Interpretable Models Expressed in Linear Temporal Logic., and . ICAPS, page 621-630. AAAI Press, (2019)Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version)., , , , and . KnowProS@IJCAI, volume 1648 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)Finite LTL Synthesis with Environment Assumptions and Quality Measures., , and . KR, page 454-463. AAAI Press, (2018)Finite LTL Synthesis as Planning., , , and . ICAPS, page 29-38. AAAI Press, (2018)From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends., , and . ICAPS, page 65-69. AAAI Press, (2016)Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals., and . IJCAI, page 5523-5531. ijcai.org, (2019)Reward Machines for Vision-Based Robotic Manipulation., , , , , and . ICRA, page 14284-14290. IEEE, (2021)Towards a Unified View of AI Planning and Reactive Synthesis., , and . ICAPS, page 58-67. AAAI Press, (2019)