Manas, K., Zwicklbauer, S., & Paschke, A. (2024). TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules.
Chicago-Zitierstil (17. Ausg.)Manas, Kumar, Stefan Zwicklbauer, und Adrian Paschke. TR2MTL: LLM Based Framework for Metric Temporal Logic Formalization of Traffic Rules. 2024.
MLA-Zitierstil (9. Ausg.)Manas, Kumar, et al. TR2MTL: LLM Based Framework for Metric Temporal Logic Formalization of Traffic Rules. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.