Ming-Hsien Tsai

Identifiers

• name variant Ming-Hsien Tsai 0.60 · backfill

Papers (1)

1. PAC Learning-Based Verification and Model Synthesis cs.SE · 2015 · author #5

Mentions

• 1511.00754 #5 · arxiv_oai · confidence 0.70 Ming-Hsien Tsai
• 1511.00754 #5 · backfill · confidence 0.70 Ming-Hsien Tsai

Frequent Coauthors

• Bow-Yaw Wang 1 shared papers
• Chiao Hsieh 1 shared papers
• Farn Wang 1 shared papers
• Ond\v{r}ej Leng\'al 1 shared papers
• Tsung-Ju Lii 1 shared papers
• Yu-Fang Chen 1 shared papers