Yun Chen Tsai

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

Collaborative distances:

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

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