Author of the publication

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.

, , , , and . World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 212-232. Springer, (1999)

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

Efficient Dynamic Simulation of Robotic Systems with Hierarchy., and . ICRA, page 2818-2823. IEEE, (2001)A Method for Modifying Closed-Loop Motion Plans to Satisfy Unpredictable Dynamic Constraints at Runtime., and . ICRA, page 1691-1696. IEEE, (2002)An RRT-Based Algorithm for Testing and Validating Multi-Robot Controllers., , and . Robotics: Science and Systems, page 249-256. The MIT Press, (2005)Multi-agent hybrid system simulation., , and . CDC, page 780-785. IEEE, (2001)Adaptive sample bias for rapidly-exploring random trees with applications to test generation., and . ACC, page 1166-1172. IEEE, (2005)Maintaining Wireless Connectivity Constraints for Robot Swarms in the Presence of Obstacles.. J. Robotics, (2011)Sampling-based Algorithm for Testing and Validating Robot Controllers., , and . Int. J. Robotics Res., 25 (12): 1257-1272 (2006)Concentration of Measure Phenomenon and its Implications for Sample-based Planning Algorithms in Very-High Dimensional Configuration Spaces.. ICRA, page 7865-7871. IEEE, (2023)A Framework and Architecture for Multirobot Coordination., , , , , , , , , and 4 other author(s). ISER, volume 271 of Lecture Notes in Control and Information Sciences, page 303-312. Springer, (2000)A hierarchical, modal approach to hybrid systems control of autonomous robots., , , and . IROS, page 1020-1025. IEEE, (2000)