TY - RPRT TI - Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic AU - Mikihisa Yuasa AU - Ramavarapu S. Sreenivas AU - Huy T. Tran PY - 2026 DO - 10.1109/lra.2026.3662977 UR - https://arxiv.org/abs/2504.21841 ID - 2504.21841 ER -