( en | de | ru )

 

Disambiguation of "Althoff, Matthias"

Author of the publication

copydeleteadd this publication to your clipboard
Graph-Based Autonomous Driving with Traffic-Rule-Enhanced Curriculum Learning.

, , , , , and . ITSC, page 4239-4246. IEEE, (2023)

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

Fritz Althoff

Ferdinand Althoff

Walter Althoff

 

Other publications of authors with the same name

Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction., and . IROS, page 777-783. IEEE, (2021)Distributed Set-Based Observers Using Diffusion Strategy., , , and . CoRR, (2020)Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes., , , and . CoRR, (2022)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)Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions., , , and . HSCC, page 5:1-5:12. ACM, (2023)Automatic Conversion of Road Networks from OpenDRIVE to Lanelets., , and . SOLI, page 157-162. IEEE, (2018)Online verification of multiple safety criteria for a robot trajectory., , and . CDC, page 6454-6461. IEEE, (2017)Implementation of Taylor models in CORA 2018., , and . ARCH@ADHS, volume 54 of EPiC Series in Computing, page 145-173. EasyChair, (2018)Probabilistic collision state checker for crowded environments., , , and . ICRA, page 1492-1498. IEEE, (2010)