Yun Chen Tsai

According to our database, Yun Chen Tsai authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version).

Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo

CoRR, June, 2025

Chance and Mass Interpretations of Probabilities in Markov Decision Processes.

Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments.

Jean-François Raskin, Yun Chen Tsai

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

2023

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., October, 2023