People
Althoff, Matthias
in Cooperation with on an Cooperation-Score of 37%
Topics
- automobile
- autonomous vehicle
- behavior
- driving
- modeling
- autonomous driving
- street
- forecasting
- pedestrian
- human being
- crowd
- survey
- designer
- traffic lane
- walking
- crosswalk
- taxonomy
- delivery vehicle
- trajectory
- foundation
- signaling
- psychology
- data file
- vehicle
- road
- planning
- mixed integer programming
- crash
- safety
- optimization
- intersection
- prevention
- impurity
- accessibility
- uncertainty
- distress
- park and ride
- acceptance test
- driveability
- mathematical analysis
- reachability analysis
- monitoring
- traffic
- highway traffic
- highway transportation
- braking
- specification
- compliance
- civil engineering
- stopping
- helicopter
- propeller blade
- assessment
- engineering
- Markov chain
- autonomous automobil
- nonlinear system
- linear system
- traffic forecasting
- show 29 more
Publications
- 2020Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behaviour
- 2020Pedestrian Models for Autonomous Driving Part I: Low-Level Models, From Sensing to Trackingcitations
- 2020Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behaviorcitations
- 2018Interaction-aware occupancy prediction of road vehiclescitations
- 2018Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehiclescitations
- 2017Ensuring Drivability of Planned Motions from Simple Models Using Formal Methods
- 2017Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOLcitations
- 2016A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehiclescitations
- 2014Online Verification of Automated Road Vehicles Using Reachability Analysis
- 2012Nonlinear Modeling and Control Design of Active Helicopter Bladescitations
- 2012Nonlinear modeling and control design of active helicopter blades 012002citations
- 2010Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars ; Erreichbarkeitsanalyse und deren Anwendung auf die Sicherheitsbewertung von autonomen Autos
- 2010Safety verification of autonomous vehicles for coordinated evasive maneuverscitations
- 2009Model-Based Probabilistic Collision Detection in Autonomous Drivingcitations
- 2006Nonlinear modeling and control design of active helicopter blades
- 2005Nonlinear Dynamics and Control of Integrally Actuated Helicopter Blades
Places of action
article