27 citations · 35 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.RO2024★ 6 cited
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning
Kumar Manas, Stefan Zwicklbauer, Adrian Paschke
Autonomous agents often face the challenge of interpreting uncertain natural language instructions for planning tasks. Representing these instructions as Linear Temporal Logic (LTL…
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…