Miki presented a paper titled “Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic” at IROS 2026 and a poster titled “Discovering Formal Options with Contrastive Policy Composition” at the Workshop on Learning and Formal Methods for Robotics! Huy also co-organized the workshop.