Showing cs.ROShow all
2 papers · 1 filter
cs.RO2025
Integrating Legal and Logical Specifications in Perception, Prediction, and Planning for Automated Driving: A Survey of Methods
Kumar Manas, Mert Keser, Alois Knoll
This survey provides an analysis of current methodologies integrating legal and logical specifications into the perception, prediction, and planning modules of automated driving sy…
cs.RO2025
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…