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

Finite-Horizon Synthesis for Probabilistic Manipulation Domains., , , , and . ICRA, page 6336-6342. IEEE, (2021)Failure is an option: Task and Motion Planning with Failing Executions., , , and . ICRA, page 1947-1953. IEEE, (2022)Informing Multi-Modal Planning with Synergistic Discrete Leads., , , and . ICRA, page 3199-3205. IEEE, (2020)LTLf Synthesis on Probabilistic Systems., , , and . GandALF, volume 326 of EPTCS, page 166-181. (2020)Augmenting Control Policies with Motion Planning for Robust and Safe Multi-robot Navigation., , , , and . IROS, page 6975-6981. IEEE, (2020)Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks., , , and . ICRA, page 8993-8999. IEEE, (2019)A General Task and Motion Planning Framework For Multiple Manipulators., , , and . IROS, page 3168-3174. IEEE, (2021)Synthesis from Satisficing and Temporal Goals., , , and . AAAI, page 9679-9686. AAAI Press, (2022)Learning Feasibility for Task and Motion Planning in Tabletop Environments., , , and . IEEE Robotics Autom. Lett., 4 (2): 1255-1262 (2019)Model Checking Strategies from Synthesis over Finite Traces., , , , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 227-247. Springer, (2023)