Author of the publication

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.

 

Other publications of authors with the same name

Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules., , , and . ITSC, page 2704-2711. IEEE, (2018)Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms., , and . ITSC, page 1032-1038. IEEE, (2019)Model-Based Probabilistic Collision Detection in Autonomous Driving., , and . IEEE Trans. Intell. Transp. Syst., 10 (2): 299-310 (2009)Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization., and . IEEE Trans. Robotics, 37 (3): 798-814 (2021)Automatic Synthesis of Human Motion from Temporal Logic Specifications., , and . IROS, page 4040-4046. IEEE, (2020)Verification of Collision Avoidance for CommonRoad Traffic Scenarios., , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 184-194. EasyChair, (2021)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)Safety Assessment of Autonomous Cars using Verification Techniques., , and . ACC, page 4154-4159. IEEE, (2007)A modal interface contract theory for guarded input/output automata with an application in traffic system design., , , , and . ACC, page 1704-1711. IEEE, (2019)Safety assessment for stochastic linear systems using enclosing hulls of probability density functions., , and . ECC, page 625-630. IEEE, (2009)