Travelled to:1 × USA
Collaborated with:D.Y.Chao
Talks about:reachabl (1) without (1) synthes (1) analysi (1) system (1) method (1) order (1) veri (1) larg (1) best (1)
Person: Tsung Hsien Yu
DBLP: Yu:Tsung_Hsien
Contributed to:
2013Wrote 1 papers:
- SEKE-2013-ChaoY #analysis #order #reachability #scalability
- A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (DYC, THY), pp. 417–420.