|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"schewe s"
Showing items 1-8 of 8 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
2020-06-04T07:49:01Z |
An extension of ATL with strategy interaction
|
Wang, F.;Schewe, S.;Huang, C.-H.; Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:49:01Z |
An extension of ATL with strategy interaction
|
Wang, F.;Schewe, S.;Huang, C.-H.; Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:49:00Z |
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
|
FARN WANG; Wang, F.; Schewe, S.; Huang, C.-H.;Peled, D.A.;Schewe, S.;Wang, F.; Huang, C.-H.; Peled, D.A. |
| 臺大學術典藏 |
2020-06-04T07:49:00Z |
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
|
FARN WANG; Wang, F.; Schewe, S.; Huang, C.-H.;Peled, D.A.;Schewe, S.;Wang, F.; Huang, C.-H.; Peled, D.A. |
| 臺大學術典藏 |
2020-06-04T07:48:56Z |
Complexity of node coverage games
|
Wang, F.;Schewe, S.;Wu, J.-H.; Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:56Z |
Complexity of node coverage games
|
Wang, F.;Schewe, S.;Wu, J.-H.; Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Model-checking iterated games
|
Huang, C.-H.;Schewe, S.;Wang, F.; Huang, C.-H.; Schewe, S.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Model-checking iterated games
|
Huang, C.-H.;Schewe, S.;Wang, F.; Huang, C.-H.; Schewe, S.; Wang, F.; FARN WANG |
Showing items 1-8 of 8 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
