( en | de | ru )

 

Disambiguation of "Althoff, Matthias"

Author of the publication

copydeleteadd this publication to your clipboard
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.

, , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 175-190. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Matthias Althoff

Matthias Althoff

Ferdinand Althoff

Walter Althoff

Hugo Althoff

 

Other publications of authors with the same name

Safety control of robots under Computed Torque control using reachable sets., and . ICRA, page 331-338. IEEE, (2015)A task-driven algorithm for configuration synthesis of modular robots., , and . ICRA, page 5203-5209. IEEE, (2016)Computing possible driving corridors for automated vehicles., and . Intelligent Vehicles Symposium, page 160-166. IEEE, (2017)Evolutionary cost-optimal composition synthesis of modular robots considering a given task., , , and . IROS, page 3562-3568. IEEE, (2017)Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots., and . IROS, page 370-376. IEEE, (2018)Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles., , and . Intelligent Vehicles Symposium, page 1954-1961. IEEE, (2018)On-the-Fly Control Design of Modular Robot Manipulators., and . IEEE Trans. Contr. Sys. Techn., 26 (4): 1484-1491 (2018)Anytime Safety Verification of Autonomous Vehicles., and . ITSC, page 1708-1714. IEEE, (2018)Road occupancy prediction of traffic participants., , and . ITSC, page 99-105. IEEE, (2013)Kognitive Automobile - Neue Konzepte und Ideen des Sonderforschungsbereiches/TR-28, , , , , , , , , and 7 other author(s). 3. Tagung Aktive Sicherheit durch Fahrerassistenz, (2008)