|
"tsay y k"的相关文件
显示项目 6-15 / 38 (共4页)
1 2 3 4 > >>
每页显示[10|25|50]项目
| 臺大學術典藏 |
2018-09-10T09:43:49Z |
Büchi Store: An open repository of ω-automata
|
Tsay, Y.-K.;Tsai, M.-H.;Chang, J.-S.;Chang, Y.-W.;Liu, C.-S.; Tsay, Y.-K.; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W.; Liu, C.-S.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:35:31Z |
State of Büchi complementation
|
Tsai, M.-H.;Fogarty, S.;Vardi, M.Y.;Tsay, Y.-K.; Tsai, M.-H.; Fogarty, S.; Vardi, M.Y.; Tsay, Y.-K.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:35:31Z |
Büchi store: An open repository of Büchi automata
|
Tsay, Y.-K.;Tsai, M.-H.;Chang, J.-S.;Chang, Y.-W.; Tsay, Y.-K.; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Comparing learning algorithms in automated assume-guarantee reasoning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;He, F.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.;Zhu, L.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Automatic numeric abstractions for heap-manipulating programs
|
Magill, S.;Tsai, M.-H.;Lee, P.;Tsay, Y.-K.; Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Automated assume-guarantee reasoning through implicit learning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Automatic numeric abstractions for heap-manipulating programs
|
YIH-KUEN TSAY; Magill, S.;Tsai, M.-H.;Lee, P.;Tsay, Y.-K.; Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K. |
| 臺大學術典藏 |
2018-09-10T07:28:17Z |
Automated compositional reasoning of intuitionistically closed regular properties
|
Tsay, Y.-K.;Wang, B.-Y.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T07:28:16Z |
Tool support for learning Büchi automata and linear temporal logic
|
Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Wu, K.-N.;Chan, W.-C.;Luo, C.-J.;Chang, J.-S.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T07:28:16Z |
Learning minimal separating DFA's for compositional verification
|
Chen, Y.-F.;Farzan, A.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Farzan, A.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
显示项目 6-15 / 38 (共4页)
1 2 3 4 > >>
每页显示[10|25|50]项目
|
