Timm Liebrenz
Papers
1
Total Citations
16
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 16 citations
Component (thermodynamics)1 · 16 citations
Computer science1 · 16 citations
Distributed computing1 · 16 citations
Factory (object-oriented programming)1 · 16 citations
Flexibility (engineering)1 · 16 citations
Formal verification1 · 16 citations
Hybrid system1 · 16 citations
Machine learning1 · 16 citations
Model checking1 · 16 citations
Programming language1 · 16 citations
Reinforcement learning1 · 16 citations
Key Achievements
1
H-Index
1
Papers
16
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
16 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of Münster
Top Papers
- 1
Key Collaborators
Not generated yet