Please note that IST 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.

6408 Publications


2007 | Journal Article | IST-REx-ID: 3882
Chatterjee K. Concurrent games with tail objectives. Theoretical Computer Science. 2007;388(1-3):181-198. doi:10.1016/j.tcs.2007.07.047
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. Generalized parity games. In: Vol 4423. Springer; 2007:153-167. doi:10.1007/978-3-540-71389-0_12
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. Strategy logic. In: Vol 4703. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:59-73. doi:10.1007/978-3-540-74407-8_5
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee K. Optimal strategy synthesis in stochastic Müller games. In: Vol 4423. Springer; 2007:138-152. doi:10.1007/978-3-540-71389-0_11
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee K. Stochastic Müller games are PSPACE-complete. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:436-448. doi:10.1007/978-3-540-77050-3_36
View | DOI
 

Search

Filter Publications