Jesper Karlsson
Papers
2
Total Citations
34
H-Index
2
About
Jesper Karlsson is a researcher at the forefront of formal methods for robotics, specializing in motion planning under complex temporal and spatial constraints. His most impactful work, "Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences" (2020, 31 citations), pioneers the integration of spatial preferences—such as proximity or containment—into temporal logic specifications, a dimension previously overlooked in the field. This contribution enables robots to not only satisfy mission deadlines but also optimize their trajectories based on qualitative spatial relations, bridging a critical gap between formal verification and practical autonomy. Karlsson’s extended abstract on formal methods for time and space constraints (2021) further solidifies his role in advancing robot decision-making under real-world limitations. His work is particularly influential for researchers in autonomous systems, cyber-physical systems, and human-robot interaction, offering a rigorous framework for specifying and solving missions that demand both logical correctness and spatial awareness. With growing citation impact, Karlsson is shaping how robots interpret and execute tasks in environments where timing and geometry are inseparable.
Research Focus
Key Achievements
Top Papers
- 1
- 2