Login / Signup

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

Kumar ManasStefan ZwicklbauerAdrian Paschke
Published in: IV (2024)
Keyphrases
  • lightweight
  • main contribution
  • real time
  • logical framework
  • metric temporal logic
  • knowledge acquisition
  • theoretical analysis
  • formal model
  • multi task learning