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

27 citations · 27 across the 1 of their papers we have counts for

collaborators

1 paper

cs.RO2024★ 27 cited

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

Kumar Manas, Stefan Zwicklbauer, Adrian Paschke

Traffic rules formalization is crucial for verifying the compliance and safety of autonomous vehicles (AVs). However, manual translation of natural language traffic rules as formal…