TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules

no code implementations • 9 Jun 2024 • Kumar Manas, Stefan Zwicklbauer, Adrian Paschke

Traffic rules formalization is crucial for verifying the compliance and safety of autonomous vehicles (AVs).

Knowledge Augmented Machine Learning with Applications in Autonomous Driving: A Survey

no code implementations • 10 May 2022 • Julian Wörmann, Daniel Bogdoll, Christian Brunner, Etienne Bührle, Han Chen, Evaristus Fuh Chuo, Kostadin Cvejoski, Ludger van Elst, Philip Gottschall, Stefan Griesche, Christian Hellert, Christian Hesels, Sebastian Houben, Tim Joseph, Niklas Keil, Johann Kelsch, Mert Keser, Hendrik Königshof, Erwin Kraft, Leonie Kreuser, Kevin Krone, Tobias Latka, Denny Mattern, Stefan Matthes, Franz Motzkus, Mohsin Munir, Moritz Nekolla, Adrian Paschke, Stefan Pilar von Pilchau, Maximilian Alexander Pintz, Tianming Qiu, Faraz Qureishi, Syed Tahseen Raza Rizvi, Jörg Reichardt, Laura von Rueden, Alexander Sagel, Diogo Sasdelli, Tobias Scholl, Gerhard Schunk, Gesina Schwalbe, Hao Shen, Youssef Shoeb, Hendrik Stapelbroek, Vera Stehr, Gurucharan Srinivas, Anh Tuan Tran, Abhishek Vivekanandan, Ya Wang, Florian Wasserrab, Tino Werner, Christian Wirth, Stefan Zwicklbauer

The availability of representative datasets is an essential prerequisite for many successful artificial intelligence and machine learning models.

Autonomous Driving BIG-bench Machine Learning