Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic

Mikihisa Yuasa, Ramavarapu S. Sreenivas, Huy T. Tran

Neural network-based policies have demonstrated success in many robotic applications, but often lack human-explanability, which poses challenges in safety-critical deployments. To…