2 papers
cs.FL2024
Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
Jean-François Raskin, Yun Chen Tsai
This paper addresses the synthesis of reactive systems that enforce hard constraints while optimizing for quality-based soft constraints. We build on recent advancements in combini…
math.DS2024
Local Trajectory Variation Exponent (LTVE) for Visualizing Dynamical Systems
Yun Chen Tsai, Shingyu Leung
The identification and visualization of Lagrangian structures in flows plays a crucial role in the study of dynamic systems and fluid dynamics. The Finite Time Lyapunov Exponent (F…