Matthias Althoff

Computational Theory and Mathematics · 2008–2021

A researcher in the Science corpus: 7 papers; trusts 34 researchers and is trusted by 20 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 37 citations into it; #4,749 of 12,182 by trust here, #7,851 by citations
• Artificial Intelligence — 21 citations into it; #32,179 of 35,345 by trust here, #29,412 by citations
• Control and Systems Engineering — 18 citations into it; #2,873 of 8,257 by trust here, #4,045 by citations
• Computer Vision and Pattern Recognition — 15 citations into it; #17,319 of 21,575 by trust here, #19,310 by citations
• Software — 12 citations into it; #529 of 1,227 by trust here, #1,184 by citations
• Aerospace Engineering — 7 citations into it
• Hardware and Architecture — 6 citations into it
• Automotive Engineering — 5 citations into it; #398 of 3,081 by trust here, #1,728 by citations

Whom Matthias Althoff trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Antoine Girard
2. Alongkrit Chutinan
3. Harold J. Kushner
4. Reuven Y. Rubinstein
5. Jarrod M. Snider
6. Olaf Stursberg
7. Bruce H. Krogh
8. Roberto Tempo
9. Weiming Hu
10. Martin Buss

Who trusts Matthias Althoff overall

1. Andrey Rudenko
2. Somil Bansal
3. Laurene Claussmann
4. Matthew O'Kelly
5. Wilko Schwarting
6. Luigi Palmieri
7. Charles Dawson
8. Guy Katz
9. John M. Dolan
10. Sicun Gao

Papers from Matthias Althoff's perspective

Ordered by how strongly the researchers Matthias Althoff trusts endorse each paper. Same corpus, a different order for every researcher.

1. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (International Conference on Hybrid Systems: Computation and Control)
2. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (International Conference on Hybrid Systems: Computation and Control)
3. Learning spatio-temporal patterns for predicting object behaviour
4. Approximation of differential inclusions
5. Learning the Distribution of Object Trajectories for Event Recognition
6. Ellipsoidal Techniques for Reachability Analysis (International Conference on Hybrid Systems: Computation and Control)
7. PHAVer: algorithmic verification of hybrid systems past HyTech (International Journal on Software Tools for Technology Transfer (STTT))
8. Reachability of Uncertain Linear Systems Using Zonotopes (International Conference on Hybrid Systems: Computation and Control)
9. Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
10. ROS: an open-source Robot Operating System

Their papers

• Online Verification of Automated Road Vehicles Using Reachability Analysis (2014) — 444 citations
• Model-Based Probabilistic Collision Detection in Autonomous Driving (2009) — 313 citations
• Set Propagation Techniques for Reachability Analysis (2021) — 297 citations
• CommonRoad: Composable benchmarks for motion planning on roads (2017) — 503 citations
• An Introduction to CORA 2015 (2015) — 480 citations
• Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars (2010) — 370 citations
• Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization (2008) — 308 citations