Detail page

Knowledge Web

Person

Matthias Althoff (1981-)

Name	Matthias Althoff
Time	1981- (Date of birth and death)
Place	Freising (Geburtsort) Pittsburgh, Pa. (Wirkungsort) Ilmenau (Wirkungsort) Garching b. München (Wirkungsort) Deutschland
Gender	männlich
Academic degree	Dr.-Ing.
Related	Carnegie Mellon University. Department of Electrical and Computer Engineering Technische Universität Ilmenau. Institut für Automatisierungs- und Systemtechnik (2012-2013) Technische Universität München. Institut für Informatik Mechatronik (Studienfach) Informationstechnik (Studienfach)
Further information	Diss. Technische Universität München, Fakultät für Elektrotechnik und Informationstechnik
Source	AM Metadaten
Record type	Person
GND-Identifier	142226173
Record ID	142226173
Involved in show all Cooperatively Interacting Vehicles : Methods and Effects of Automated Cooperation in Traffic Cooperatively Interacting Vehicles : Methods and Effects of Automated Cooperation in Traffic Correct-by-Construction Controller Synthesis for Safety-Critical Systems Generating Safety-Critical Test Scenarios for Motion Planning Algorithms of Autonomous Vehicles Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning with Formal Methods Modeling and Identification for Formally Safe Human-Robot Interaction Scalable Robust Controller Synthesis for Computing Safe Sets Specification-Compliant Reachability Analysis for Motion Planning of Automated Vehicles Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis Constrained polynomial zonotopes Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems Task-driven Composition Synthesis of Modular and Reconfigurable Robot Manipulators Using Reachability Analysis in Controller Synthesis for Safety-Critical Systems Set-based Prediction of Traffic Participants and its Applications to Safe Motion Planning Using Reachability Analysis for Motion Planning of Autonomous Vehicles in Complex Traffic Situations Reachability analysis and its application to the safety assessment of autonomous cars Reachability analysis and its application to the safety assessment of autonomous cars

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Matthias Althoff (1981-)

Cooperatively Interacting Vehicles : Methods and Effects of Automated Cooperation in Traffic

Cooperatively Interacting Vehicles : Methods and Effects of Automated Cooperation in Traffic

Correct-by-Construction Controller Synthesis for Safety-Critical Systems

Generating Safety-Critical Test Scenarios for Motion Planning Algorithms of Autonomous Vehicles

Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning with Formal Methods

Modeling and Identification for Formally Safe Human-Robot Interaction

Scalable Robust Controller Synthesis for Computing Safe Sets

Specification-Compliant Reachability Analysis for Motion Planning of Automated Vehicles

Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis

Constrained polynomial zonotopes

Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems

Task-driven Composition Synthesis of Modular and Reconfigurable Robot Manipulators

Using Reachability Analysis in Controller Synthesis for Safety-Critical Systems

Set-based Prediction of Traffic Participants and its Applications to Safe Motion Planning

Using Reachability Analysis for Motion Planning of Autonomous Vehicles in Complex Traffic Situations

Reachability analysis and its application to the safety assessment of autonomous cars

Reachability analysis and its application to the safety assessment of autonomous cars