Kumar Manas, Stefan Zwicklbauer, Adrian Paschke. TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules. In IEEE Intelligent Vehicles Symposium, IV 2024, Jeju Island, Republic of Korea, June 2-5, 2024. pages 1206-1213, IEEE, 2024. [doi]
Abstract is missing.