Rune S. Jensen
Papers
1
Total Citations
11
H-Index
1
About
Rune S. Jensen is a researcher whose work bridges the fields of robotics and formal verification, with a particular focus on multi-robot systems and motion planning. His most-cited paper, "Motion planning in multi-robot systems using timed automata" (2004, 11 citations), introduces a novel framework that leverages timed automata to coordinate the movement of multiple robots in shared environments, ensuring collision-free and time-efficient trajectories. This contribution is notable for integrating theoretical computer science concepts—specifically, model checking and automata theory—into practical robotics, enabling more reliable and predictable multi-agent coordination. Jensen’s work has been influential in advancing the use of formal methods for safety-critical robotic applications, such as automated warehouses and autonomous vehicle fleets. While his citation count reflects a focused but impactful niche, his approach has inspired subsequent research on combining temporal logic with robotic path planning. For students and researchers exploring the intersection of robotics and formal verification, Jensen’s work offers a foundational example of how rigorous mathematical models can solve complex real-world coordination challenges.
Research Focus
Key Achievements
Top Papers
- 1Motion planning in multi-robot systems using timed automata11 citations · 2004