Michael Melholt Quottrup

Papers

Total Citations

170

H-Index

About

Michael Melholt Quottrup is a leading researcher in multi-robot systems, with a primary focus on formal methods for motion planning and verification. His most influential contribution is the pioneering application of timed automata to multi-robot coordination, first detailed in his seminal 2004 paper "Multi-robot planning: a timed automata approach," which has accumulated over 105 citations. This work introduced a novel framework for modeling, analyzing, and verifying motion planning problems for multiple robotic vehicles operating on a planar grid, leveraging networks of interacting timed automata to ensure collision-free, time-constrained navigation. Quottrup further advanced the field by integrating temporal logic specifications into multi-robot motion planning, as demonstrated in his 2012 paper, enabling more complex, mission-driven behaviors. His research has provided a rigorous, mathematically grounded foundation for coordinating teams of robots, bridging the gap between control theory and computer science. With over 170 total citations across his most-cited works, Quottrup's contributions remain essential reading for researchers exploring formal verification in robotics, offering tools to guarantee safety and performance in autonomous multi-agent systems.