Mikihisa Yuasa

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

Learning-based policies have demonstrated success in many robotic applications, but often lack explainability. We propose a neuro-symbolic explanation framework that generates a weighted signal temporal logic (wSTL) specification which describes a robot policy in a human-interpretable form. Existing