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

Kumar Manas Stefan Zwicklbauer Adrian Paschke

Published in: CoRR (2024)

Keyphrases

main contribution
neural network
theoretical framework
classification rules
logical framework
formal model
metric temporal logic
real time
data sets
machine learning
knowledge base
theoretical analysis
multi task
traffic flow
multi task learning
multitask learning