Ricky Nilsson
Papers
1
Total Citations
5
H-Index
1
About
Ricky Nilsson is a researcher whose work lies at the intersection of robotics, control theory, and formal methods, with a particular focus on autonomous navigation under uncertainty. His key contributions center on developing planning algorithms that integrate temporal logic specifications—such as Linear Temporal Logic (LTL)—with probabilistic roadmaps and belief space planning. This approach enables robots to guarantee mission satisfaction even in environments with partial observability and stochastic dynamics. Nilsson’s most cited paper, "Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces" (2019, 5 citations), introduces a method that yields provable satisfaction probabilities for complex navigation tasks, bridging the gap between high-level task specifications and low-level motion planning. His work is notable for its rigorous theoretical foundations and practical relevance to autonomous systems operating in real-world, unpredictable settings. By combining formal verification with probabilistic reasoning, Nilsson has advanced the state of the art in safe and reliable robot autonomy, making his research a valuable reference for students and engineers working on intelligent, mission-critical robotic systems.
Research Focus
Key Achievements
Top Papers
- 1