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, Thomas A, and Nir Piterman. “Solving Games without Determinization.” In Proceedings of the 20th International Conference on Computer Science Logic, 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3891
Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.” In Proceedings of the 20th International Conference on Computer Science Logic, 4207:256–70. Springer Nature, 2006. https://doi.org/10.1007/11874683_17.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3889
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.” In Proceedings of the 20th International Conference on Computer Science Logic, 4207:287–302. Springer Nature, 2006. https://doi.org/10.1007/11874683_19.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3499
Chatterjee, Krishnendu. “Nash Equilibrium for Upward-Closed Objectives.” In Proceedings of the 20th International Conference on Computer Science Logic, 4207:271–86. Springer Nature, 2006. https://doi.org/10.1007/11874683_18.
View
| DOI