Michaela Klauck
Papers
3
Total Citations
11
H-Index
2
About
No biography available yet.
Research Focus
Robot3 · 11 citations
Artificial intelligence3 · 11 citations
Computer science3 · 11 citations
Robotics2 · 9 citations
Machine learning1 · 5 citations
Software engineering1 · 5 citations
Bridge (graph theory)1 · 5 citations
Robustness (evolution)1 · 5 citations
Verifiable secret sharing1 · 4 citations
Software1 · 4 citations
Toolchain1 · 4 citations
Programming language1 · 4 citations
Key Achievements
2
H-Index
3
Papers
11
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM
5 citations · 2024
📈 Most Prolific Year: 2024 (3 Papers)
🤝 Key Collaborators: 20
🏛 Institutions: Robert Bosch (Germany)
Top Papers
- 1
- 2Towards a Verifiable Toolchain for Robotics4 citations · 2024
- 3Towards Robust Autonomous Robots Using Statistical Model Checking2 citations · 2024
Key Collaborators
MPMatteo Palmas3 shared papersMLMarco Lampacrescia2 shared papersCHChristian Henkel2 shared papersSRStefano Rosa1 shared papersYWYazz Warsame1 shared papersRARazane Azrou1 shared papersMMMasoumeh Mansouri1 shared papersSKSelma Kchir1 shared papersMMMatteo Morelli1 shared papersCSCharlie Street1 shared papersGCG. Chen1 shared papersDWDanielle Wallis1 shared papersEGEnrico Ghiorzi1 shared papersRMR. M. Lange1 shared papersRLRaphaël Lallement1 shared papersRLRalph Lange1 shared papersSBStefano Bernagozzi1 shared papersATArmando Tacchella1 shared papersLNLorenzo Natale1 shared papersMRMarco Randazzo1 shared papers
Not generated yet