From post

Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).

, , , , и . KnowProS@IJCAI, том 1648 из 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.

 

Другие публикации лиц с тем же именем

Planning under Uncertainty and Temporally Extended Goals.. IJCAI, стр. 3976-3977. IJCAI/AAAI Press, (2016)Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version)., , , , и . KnowProS@IJCAI, том 1648 из CEUR Workshop Proceedings, CEUR-WS.org, (2016)Learning Interpretable Models Expressed in Linear Temporal Logic., и . ICAPS, стр. 621-630. AAAI Press, (2019)Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces., , , , и . AAAI, стр. 3716-3724. AAAI Press, (2017)Finite LTL Synthesis with Environment Assumptions and Quality Measures., , и . KR, стр. 454-463. AAAI Press, (2018)From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends., , и . ICAPS, стр. 65-69. AAAI Press, (2016)Finite LTL Synthesis as Planning., , , и . ICAPS, стр. 29-38. AAAI Press, (2018)Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals., и . IJCAI, стр. 5523-5531. ijcai.org, (2019)Reward Machines for Vision-Based Robotic Manipulation., , , , , и . ICRA, стр. 14284-14290. IEEE, (2021)Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning., , , и . Canadian AI, том 10832 из Lecture Notes in Computer Science, стр. 45-59. Springer, (2018)