( en | de | ru )

 

Disambiguation of "Althoff, Matthias"

Author of the publication

copydeleteadd this publication to your clipboard
Utilizing dependencies to obtain subsets of reachable sets.

, , and . HSCC, page 1:1-1:10. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Matthias Althoff

Matthias Althoff

Katrin Althoff

Olaf Althoff

Frank Althoff

 

Other publications of authors with the same name

SPOT: A tool for set-based prediction of traffic participants., and . Intelligent Vehicles Symposium, page 1686-1693. IEEE, (2017)Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms., and . IV, page 2352-2358. IEEE, (2019)Distributed Set-Based Observers Using Diffusion Strategy., , , and . CoRR, (2020)Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes., , , and . CoRR, (2022)Should collision avoidance systems use yaw stabilization?, , and . ITSC, page 2058-2062. IEEE, (2013)Fail-safe motion planning of autonomous vehicles., and . ITSC, page 452-458. IEEE, (2016)Determining the maximum time horizon for vehicles to safely follow a trajectory., , and . ITSC, page 1-7. IEEE, (2017)Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction., and . IROS, page 777-783. IEEE, (2021)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 1-31. EasyChair, (2021)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 16-48. EasyChair, (2020)