Frieder Stolzenburg

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Approaching a formal soccer theory from behaviour specifications in robotic soccer^*

   25 次引用 · 2008
2. 2
   Multi-Robot Systems: Modeling, Specification, and Model Checking

   22 次引用 · 2010
3. 3
   Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking

   17 次引用 · 2008
4. 4
   Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification

   13 次引用 · 2005
5. 5
   Multiagent Matching Algorithms with and without Coach

   10 次引用 · 2003
6. 6
   From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications

   8 次引用 · 2003
7. 7
   Model Checking Hybrid Multiagent Systems for the RoboCup

   8 次引用 · 2008
8. 8
   RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League

   7 次引用 · 2019
9. 9
   Predictive Neural Networks

   5 次引用 · 2018
10. 10
    Localization, Exploration, and Navigation Based on Qualitative Angle Information

    5 次引用 · 2010

主要合作者