Manas, K., Zwicklbauer, S., & Paschke, A. (2024). TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules.
Cita Chicago Style (17a ed.)Manas, Kumar, Stefan Zwicklbauer, y Adrian Paschke. TR2MTL: LLM Based Framework for Metric Temporal Logic Formalization of Traffic Rules. 2024.
Cita MLA (9a ed.)Manas, Kumar, et al. TR2MTL: LLM Based Framework for Metric Temporal Logic Formalization of Traffic Rules. 2024.
Precaución: Estas citas no son 100% exactas.