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
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer, 2006, pp. 395–410.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3891
Concurrent games with tail objectives
K. Chatterjee, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer Nature, 2006, pp. 256–270.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3889
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer Nature, 2006, pp. 287–302.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3499
Nash equilibrium for upward-closed objectives
K. Chatterjee, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer Nature, 2006, pp. 271–286.
View | DOI
 

Filters and Search Terms

isbn=9783540454588

Search

Filter Publications

    • Display / Sort

    Export / Embed