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 TA, Piterman N. 2006. Solving games without determinization. Proceedings of the 20th international conference on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3891
Chatterjee K. 2006. Concurrent games with tail objectives. Proceedings of the 20th international conference on Computer Science Logic. CSL: Computer Science Logic, LNCS , vol. 4207, 256–270.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3889
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2006. Algorithms for omega-regular games with imperfect information. Proceedings of the 20th international conference on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 4207, 287–302.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3499
Chatterjee K. 2006. Nash equilibrium for upward-closed objectives. Proceedings of the 20th international conference on Computer Science Logic. CSL: Computer Science Logic, LNCS , vol. 4207, 271–286.
View | DOI
 

Filters and Search Terms

isbn=9783540454588

Search

Filter Publications

    • Display / Sort

    Citation Style: ISTA Annual Report

    Export / Embed