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.

 

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

Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees., и . CASE, стр. 280-287. IEEE, (2020)Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks., и . CoRR, (2020)Decentralized control of robotic swarms from high-level temporal logic specifications., и . MRS, стр. 17-23. IEEE, (2017)Perception-Informed Autonomous Environment Augmentation With Modular Robots., , , , , и . CoRR, (2017)Automatic synthesis of robot controllers for tasks with locative prepositions., и . ICRA, стр. 3215-3220. IEEE, (2010)Situation understanding bot through language and environment., , , , , , , , , и 2 other автор(ы). HRI, стр. 419-420. ACM, (2012)Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees., , , , , и . IEEE Trans. Robotics, 32 (3): 583-599 (2016)Formalizing and Guaranteeing* Human-Robot Interaction., , , , , , , , , и 5 other автор(ы). CoRR, (2020)Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation., и . IROS, стр. 7251-7258. IEEE, (2022)Guaranteeing reactive high-level behaviors for robots with complex dynamics., и . IROS, стр. 749-756. IEEE, (2013)