From post

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.

 

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

Optimal Planning Modulo Theories., , , и . IJCAI, стр. 4128-4134. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..SMarTplan: a Task Planner for Smart Factories., , , , и . CoRR, (2018)Promoting Counterfactual Robustness through Diversity., и . CoRR, (2023)Repairing misclassifications in neural networks using limited data., , и . SAC, стр. 1031-1038. ACM, (2022)Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics., , , , и . Inf. Syst. Frontiers, 21 (1): 87-107 (2019)Robot Swarms as Hybrid Systems: Modelling and Verification., , , , и . SNR, том 361 из EPTCS, стр. 61-77. (2021)Promoting Counterfactual Robustness through Diversity., и . AAAI, стр. 21322-21330. AAAI Press, (2024)Counterfactual Explanations and Model Multiplicity: a Relational Verification View., , и . KR, стр. 763-768. (2023)Verification of Semantic Key Point Detection for Aircraft Pose Estimation., , , , , и . KR, стр. 757-762. (2023)Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back).. IJCAI, стр. 5771-5772. ijcai.org, (2018)