|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"yih kuen tsay"
Showing items 1-25 of 34 (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
2022-04-26T06:17:31Z |
From Linear Temporal Logics to?B?chi Automata: The?Early and?Simple Principle
|
Tsay Y.-K;Vardi M.Y.; Tsay Y.-K; Vardi M.Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2022-04-26T06:17:31Z |
Congruence Relations for B?chi Automata
|
Li Y;Tsay Y.-K;Turrini A;Vardi M.Y;Zhang L.; Li Y; Tsay Y.-K; Turrini A; Vardi M.Y; Zhang L.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2021-12-21T23:17:28Z |
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle
|
YIH-KUEN TSAY; Vardi, Moshe Y. |
| 臺大學術典藏 |
2021-12-21T23:17:28Z |
Congruence Relations for Büchi Automata
|
Li, Yong; YIH-KUEN TSAY; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun |
| 臺大學術典藏 |
2020-02-11T02:33:56Z |
An algorithm with optimal failure locality for the dining philosophers problem
|
Tsay, Y.-K;Bagrodia, R.L.; Tsay, Y.-K; Bagrodia, R.L.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T14:53:43Z |
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; Tsai, M.-H |
| 臺大學術典藏 |
2018-09-10T09:43:49Z |
GOAL for games, omega-automata, and logics
|
Tsai, M.-H.;Tsay, Y.-K.;Hwang, Y.-S.; Tsai, M.-H.; Tsay, Y.-K.; Hwang, Y.-S.; YIH-KUEN TSAY |
| 臺大學術典藏 |
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 |
| 臺大學術典藏 |
2018-09-10T06:56:12Z |
Extending automated compositional verification to the full class of omega-regular languages
|
Farzan, A.;Chen, Y.-F.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Farzan, A.; Chen, Y.-F.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:56:12Z |
Automated compositional reasoning of intuitionistically closed regular properties
|
Tsay, Y.-K.;Wang, B.-Y.;Ibarra, Oscar H.;Ravikumar, Bala; Tsay, Y.-K.; Wang, B.-Y.; Ibarra, Oscar H.; Ravikumar, Bala; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:56:12Z |
Deriving a scalable algorithm for mutual exclusion
|
Tsay, Y.-K.; Tsay, Y.-K.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:56:11Z |
THOR: A tool for reasoning about shape and arithmetic - Tool paper
|
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-10T06:56:11Z |
GOAL extended: Towards a research tool for omega automata and temporal logic
|
Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Chan, W.-C.;Luo, C.-J.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Chan, W.-C.; Luo, C.-J.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:21:51Z |
GOAL: A graphical tool for manipulating Büchi automata and temporal formulae
|
Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Wu, K.-N.;Chan, W.-C.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:21:51Z |
Automated technology for verification and analysis (ATVA 2005): Preface
|
Peled, D.A.;Tsay, Y.-K.; Peled, D.A.; Tsay, Y.-K.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T05:51:51Z |
General decidability theorems for infinite-state systems
|
Abdulla, Parosh Aziz;Cerans, Karlis;Jonsson, Bengt;Tsay, Yih-Kuen; Abdulla, Parosh Aziz; Cerans, Karlis; Jonsson, Bengt; Tsay, Yih-Kuen; YIH-KUEN TSAY |
Showing items 1-25 of 34 (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page
|
