A Light-Weight Defect Detection System for Edge Computing. - Hsiang-Ting Huang; Tzu-Yi Chiu; Chia-Yu Lin (ICCE-TW, 2022)

Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search. - Tzu-Yi Chiu; Jerome Le Ny; Jean-Pierre David (Artif. Intell., 2023)

Temporal Logic Explanations for Dynamic Decision Systems Using Anchors and Monte Carlo Tree Search (Abstract Reprint). - Tzu-Yi Chiu; Jerome Le Ny; Jean-Pierre David (AAAI, 2024)