( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fail-safe motion planning of autonomous vehicles.

, и . ITSC, стр. 452-458. IEEE, (2016)

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.

Matthias Althoff

Matthias Althoff

Angelika Althoff

Waltraud Althoff

Helmuth Althoff

 

Другие публикации лиц с тем же именем

Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars., и . IEEE Trans. Intell. Transp. Syst., 12 (4): 1237-1247 (2011)Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules., , и . Intelligent Vehicles Symposium, стр. 1477-1483. IEEE, (2017)Computing Safe Sets of Linear Sampled-Data Systems., и . IEEE Control. Syst. Lett., 5 (2): 385-390 (2021)Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes., , , и . CoRR, (2022)Distributed Set-Based Observers Using Diffusion Strategy., , , и . CoRR, (2020)Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments., и . ICRA, стр. 6344-6350. IEEE, (2022)Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction., и . IROS, стр. 777-783. IEEE, (2021)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 1-31. EasyChair, (2021)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , и 3 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 16-48. EasyChair, (2020)Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes., , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 16-36. Springer, (2023)