On Generating Explanations for Reinforcement Learning Policies: An Empirical Study. - Mikihisa Yuasa; Huy T. Tran; Ramavarapu S. Sreenivas (IEEE Control. Syst. Lett., 2024)

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic. - Mikihisa Yuasa; Ramavarapu S. Sreenivas; Huy T. Tran (CoRR, 2025)