Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4 Publications
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization. In Proceedings of the 20th international conference on Computer Science Logic (Vol. 4207, pp. 395–410). Szeged, Hungary: Springer. https://doi.org/10.1007/11874683_26
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3891
Chatterjee, K. (2006). Concurrent games with tail objectives. In Proceedings of the 20th international conference on Computer Science Logic (Vol. 4207, pp. 256–270). Szeged, Hungary: Springer Nature. https://doi.org/10.1007/11874683_17
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3889
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Algorithms for omega-regular games with imperfect information. In Proceedings of the 20th international conference on Computer Science Logic (Vol. 4207, pp. 287–302). Szeged, Hungary: Springer Nature. https://doi.org/10.1007/11874683_19
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3499
Chatterjee, K. (2006). Nash equilibrium for upward-closed objectives. In Proceedings of the 20th international conference on Computer Science Logic (Vol. 4207, pp. 271–286). Szeged, Hungary: Springer Nature. https://doi.org/10.1007/11874683_18
View
| DOI