Paula Herber

University of Münster, University of Potsdam

论文数

5

总引用数

32

H-Index

3

关于

暂无简介。

研究焦点

Computer science5 · 32 次引用
Programming language5 · 32 次引用
Formal verification2 · 23 次引用
Distributed computing2 · 23 次引用
Artificial intelligence3 · 23 次引用
Model checking2 · 23 次引用
Machine learning2 · 20 次引用
Component (thermodynamics)1 · 16 次引用
Flexibility (engineering)1 · 16 次引用
Factory (object-oriented programming)1 · 16 次引用
Hybrid system1 · 16 次引用
Reinforcement learning1 · 16 次引用

主要成就

3
H 指数
5
论文
32
总引用数
6
篇均引用
🏆 最高被引论文
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
16 次引用 · 2021
📈 最高产年份: 2024 (2 论文)
🤝 主要合作者: 7
🏛 所属机构: University of Münster, University of Potsdam

代表论文

  1. 1
    Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
    16 次引用 · 2021
  2. 2
    Reusable formal models for concurrency and communication in custom real-time operating systems
    7 次引用 · 2024
  3. 3
    A multi-robot search using LEGO mindstorms
    4 次引用 · 2017
  4. 4
    Automated Verification of Embedded Control Software
    3 次引用 · 2020
  5. 5
    Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems
    2 次引用 · 2024

主要合作者

JAJulius Adelt3 篇合著论文TLTimm Liebrenz1 篇合著论文RMRobert Mensing1 篇合著论文VKVerena Klös1 篇合著论文DGDilian Gurov1 篇合著论文ISIna Schaefer1 篇合著论文JGJulian Gebker1 篇合著论文
尚未生成