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.

 

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

Hybrid systems: from verification to falsification by combining motion planning and discrete search., , и . Formal Methods Syst. Des., 34 (2): 157-182 (2009)Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning., , и . IEEE Trans. Robotics, 26 (3): 469-482 (2010)Joint computational design of workspaces and workplans., , , и . ACM Trans. Graph., 40 (6): 228:1-228:16 (2021)Autonomous Data Collection With Dynamic Goals and Communication Constraints for Marine Vehicles., и . IEEE Trans Autom. Sci. Eng., 20 (3): 1607-1620 (июля 2023)Multi-Robot Motion Planning with Unlabeled Goals for Mobile Robots with Differential Constraints., и . ICRA, стр. 7950-7956. IEEE, (2021)Robot Path Planning with Safety Zones., , и . ICINCO (1), стр. 405-412. SCITEPRESS, (2023)A planner for autonomous risk-sensitive coverage (PARCov) by a team of unmanned aerial vehicles., , и . SIS, стр. 283-289. IEEE, (2014)Falsification of LTL Safety Properties in Hybrid Systems., , и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 368-382. Springer, (2009)Multi-Robot Motion Planning with Dynamics Guided by Multi-Agent Search., и . IJCAI, стр. 5314-5318. ijcai.org, (2018)Sample-based Models of Protein Structural Transitions., , , и . BCB, стр. 128-137. ACM, (2016)