@misc{indiciae75074aa54b2d, title = {Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic}, author = {Mikihisa Yuasa and Ramavarapu S. Sreenivas and Huy T. Tran}, year = {2026}, doi = {10.1109/lra.2026.3662977}, url = {https://arxiv.org/abs/2504.21841}, note = {Source identifier: 2504.21841} }