Harz University of Applied Sciences

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   The requirements and applications of autonomous mobile robotics (AMR) in hospitals from the perspective of nursing officers

   37 次引用 · 2021
2. 2
   Beyond Software Product Lines

   35 次引用 · 2017
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
   Ambient Assisted Living an Overview of Current Applications, End-Users and Acceptance

   7 次引用 · 2020
9. 9
   On trajectory tracking control of fluid-driven actuators

   7 次引用 · 2021
10. 10
    RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League

    7 次引用 · 2019

教职员与研究人员

…