Author of the publication

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)

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

Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces., , , , and . AAAI, page 3716-3724. AAAI Press, (2017)Planning under Uncertainty and Temporally Extended Goals.. IJCAI, page 3976-3977. IJCAI/AAAI Press, (2016)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)Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning., , , and . Canadian Conference on AI, volume 10832 of Lecture Notes in Computer Science, page 45-59. Springer, (2018)From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends., , and . ICAPS, page 65-69. AAAI Press, (2016)Finite LTL Synthesis as Planning., , , and . ICAPS, page 29-38. AAAI Press, (2018)Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping., , , and . SOCS, page 159-160. AAAI Press, (2017)Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals., and . IJCAI, page 5523-5531. ijcai.org, (2019)