TY  - RPRT
TI  - Ontology-Driven Robotic Specification Synthesis
AU  - Maksym Figat
AU  - Ryan M. Mackey
AU  - Michel D. Ingham
PY  - 2026
UR  - https://arxiv.org/abs/2602.05456
ID  - 2602.05456
ER  -