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
T. A. Henzinger and N. Piterman, “Solving games without determinization,” in Proceedings of the 20th international conference on Computer Science Logic, Szeged, Hungary, 2006, vol. 4207, pp. 395–410.
View | DOI
 

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

2006 | Published | Conference Paper | IST-REx-ID: 3889
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” in Proceedings of the 20th international conference on Computer Science Logic, Szeged, Hungary, 2006, vol. 4207, pp. 287–302.
View | DOI
 

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

Filters and Search Terms

isbn=9783540454588

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed