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.” Proceedings of the 20th International Conference on Computer Science Logic, vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3891
Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.” Proceedings of the 20th International Conference on Computer Science Logic, vol. 4207, Springer Nature, 2006, pp. 256–70, doi:10.1007/11874683_17.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3889
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Proceedings of the 20th International Conference on Computer Science Logic, vol. 4207, Springer Nature, 2006, pp. 287–302, doi:10.1007/11874683_19.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3499
Chatterjee, Krishnendu. “Nash Equilibrium for Upward-Closed Objectives.” Proceedings of the 20th International Conference on Computer Science Logic, vol. 4207, Springer Nature, 2006, pp. 271–86, doi:10.1007/11874683_18.
View
| DOI