Max Planck Institute for Software Systems

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance

   58 次引用 · 2021
2. 2
   Automatic Latency Management for ROS 2: Benefits, Challenges, and Open Problems

   55 次引用 · 2021
3. 3
   Antlab

   26 次引用 · 2017
4. 4
   Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

   25 次引用 · 2022
5. 5
   Interactive synthesis of temporal specifications from examples and natural language

   19 次引用 · 2020
6. 6
   Special Session: Embedded Software for Robotics: Challenges and Future Directions

   15 次引用 · 2018
7. 7
   Probabilistic CTL $$^{*}$$ : The Deductive Way

   9 次引用 · 2016
8. 8
   Learning to Interact With Learning Agents

   8 次引用 · 2018
9. 9
   PGCD

   7 次引用 · 2019
10. 10
    When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems

    7 次引用 · 2015

教职员与研究人员

…