Matthias Althoff

Technical University of Munich, Munich University of Applied Sciences, Munich Center for Machine Learning

Papers

61

Total Citations

1,576

H-Index

22

About

No biography available yet.

Research Focus

Computer science61 · 1,576 citations
Artificial intelligence60 · 1,573 citations
Robot50 · 1,429 citations
Mathematics27 · 890 citations
Algorithm24 · 862 citations
Set (abstract data type)15 · 733 citations
Reachability13 · 676 citations
Simulation10 · 648 citations
Engineering36 · 627 citations
Robotics6 · 540 citations
Real-time computing2 · 467 citations
Noise (video)3 · 457 citations

Key Achievements

22
H-Index
61
Papers
1,576
Total Citations
26
Avg Citations/Paper
🏆 Most Cited Paper
Online Verification of Automated Road Vehicles Using Reachability Analysis
401 citations · 2014
📈 Most Prolific Year: 2017 (11 Papers)
🤝 Key Collaborators: 57
🏛 Institutions: Technical University of Munich, Munich University of Applied Sciences, Munich Center for Machine Learning

Top Papers

  1. 1
    Online Verification of Automated Road Vehicles Using Reachability Analysis
    401 citations · 2014
  2. 2
    Effortless creation of safe robots from modules through self-programming and self-verification
    73 citations · 2019
  3. 3
    Provably safe motion of mobile robots in human environments
    66 citations · 2017
  4. 4
    Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
    62 citations · 2023
  5. 5
    Probabilistic collision state checker for crowded environments
    51 citations · 2010
  6. 6
    Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space
    42 citations · 2017
  7. 7
    Formal verification of maneuver automata for parameterized motion primitives
    41 citations · 2014
  8. 8
    Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments
    41 citations · 2008
  9. 9
    Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets
    40 citations · 2015
  10. 10
    Overapproximative Human Arm Occupancy Prediction for Collision Avoidance
    40 citations · 2017

Key Collaborators

AGAndrea Giusti15 shared papersSBStefan B. Liu12 shared papersAPAaron Pereira10 shared papersBSBastian Schürmann7 shared papersJKJonathan Külz6 shared papersEİEsra İçer5 shared papersHKHanna Krasowski4 shared papersXWXiao Wang4 shared papersJTJakob Thumm3 shared papersNKNiklas Kochdumper3 shared papersMMMatthias Mayer2 shared papersDADaniel Althoff2 shared papersJTJakob Thumm2 shared papersSBStanley Bak2 shared papersMMMarco Magri2 shared papersSCSylvain Calinon2 shared papersDWDirk Wollherr2 shared papersJMJörn Malzahn2 shared papersMJMartijn J.A. Zeestraten2 shared papersMBMartin Buss2 shared papers
Not generated yet