Yuanfei Lin

Hi there! I'm a fourth-year PhD student at the Technical University of Munich under the supervision of Prof. Dr.-Ing Matthias Althoff, where I enjoy making safe autonomous driving possible. My research focuses on applying formal methods to autonomous systems to enable safe and reliable operation in complex and dynamic environments. Recently, I have become interested in combining large language models with motion planning techniques.


Formal Bio     TUM Page      G. Scholar     LinkedIn     Github

yuanfei dot lin at tum dot de

Some recent highlights from our research:

Interaction-Aware Trajectory Repair in Compliance with Formalized Traffic Rules

Youran Wang, Yuanfei Lin, Matthias Althoff.
ITSC, 2024
BibTex / VollText

We propose for the first time an interaction-aware trajectory repair algorithm based on game theory.

DrPlanner 🩺: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models

Yuanfei Lin, Chenran Li, Mingyu Ding, Masayoshi Tomizuka, Wei Zhan, Matthias Althoff.
RA-L, 2024
Project Page / BibTex / VollText / Video

Leveraging the profound capabilities of large language models in addressing reasoning challenges, we returns repaired planners with detailed diagnostic descriptions.

Model Predictive Robustness of Signal Temporal Logic Predicates

Yuanfei Lin*, Haoxuan Li*, Matthias Althoff.
RA-L, 2023 & ICRA, 2024
BibTex / VollText / Poster / Video

A novel approach to determine the robustness of signal temporal logic predicates, where the model capability for rule compliance is explicitly considered.

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad

Yuanfei Lin, Michael Ratzel, Matthias Althoff.
ITSC, 2023
BibTex / VollText / Poster / Presentation / Tool Page

The first openly accessible converter from OpenSCENARIO to CommonRoad.

CommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles

Yuanfei Lin, Matthias Althoff.
IV, 2023
BibTex / VollText / Poster / Tool Page

An open-source toolbox for measuring the criticality of autonomous vehicles in a unified framework.

Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories

Yuanfei Lin, Matthias Althoff.
IV, 2022
BibTex / VollText / Video / Poster

The first work to repair trajectories violating traffic rules formalized in temporal logic.

Sampling-Based Trajectory Repairing for Autonomous Vehicles

Yuanfei Lin, Sebastian Maierhofer, Matthias Althoff.
ITSC, 2021

BibTex / Full Text / Video

As replanning would be computationally expensive, we present a novel approach for repairing invalid trajectories.

2024

Shanghai Jiao Tong University, Department of Automation

IEEE ICRA 2024 Workshops on How to ensure correct robot behaviors?

2022

Southeast University, School of Cyber Science and Engineering

2024

Visiting Scholar, Mechanical Systems Control Lab, UC Berkeley

2022+

Reviewer, RA-L, T-ITS, ICRA, CDC, ITSC, IV, IROS

2020

Graduation Scholarship Awarded by TUM

2019

German National Scholarship

2018

Excellent Graduates of Shanghai, China

2017

Tongji Scholarship of Excellence

2016

National Scholarship in China

2015

Shanghai Scholarship, China

2014

National Scholarship in China