Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis. - Giovanna Kobus Conrado; Amir Kafshdar Goharshady; Kerim Kochekov; Yun Chen Tsai; Ahmed Khaled Zaher (Proc. ACM Program. Lang., 2023)

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments. - Jean-François Raskin; Yun Chen Tsai (SETTA, 2024)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes. - Yun Chen Tsai; Kittiphon Phalakarn; S. Akshay 001; Ichiro Hasuo (CONCUR, 2025)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version). - Yun Chen Tsai; Kittiphon Phalakarn; S. Akshay 001; Ichiro Hasuo (CoRR, 2025)