Frieder Stolzenburg
Harz University of Applied Sciences, University of Koblenz and Landau
Papers
15
Total Citations
133
H-Index
7
About
Frieder Stolzenburg is a leading researcher in the formal specification, modeling, and verification of multi-robot and multiagent systems, with a particular focus on safety-critical and real-time applications. His work bridges the gap between theoretical computer science and practical robotics, most notably through the development of hybrid automata and timed synchronization frameworks that enable rigorous model checking of complex agent behaviors. His highly cited paper, "Approaching a formal soccer theory from behaviour specifications in robotic soccer" (25 citations), exemplifies his pioneering approach to applying formal methods to the dynamic, adversarial domain of RoboCup. Stolzenburg has made significant contributions to the verification of hybrid multiagent systems, as seen in his 2010 work on modeling and model checking (22 citations), and has advanced the use of statecharts for formal analysis in safety-critical contexts. His impact is further demonstrated by his work on predictive neural networks and qualitative spatial reasoning for robot localization and navigation. With a career spanning over two decades, Stolzenburg has also contributed practical tools like RoboCupSimData, facilitating machine learning in robotic simulation. His research is essential for engineers and scientists developing reliable, verifiable autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2Multi-Robot Systems: Modeling, Specification, and Model Checking22 citations · 2010
- 3
- 4
- 5Multiagent Matching Algorithms with and without Coach10 citations · 2003
- 6
- 7Model Checking Hybrid Multiagent Systems for the RoboCup8 citations · 2008
- 8
- 9Predictive Neural Networks5 citations · 2018
- 10