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.

77 Publications


2010 | Technical Report | IST-REx-ID: 5389 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, Improved lower bounds for request-response and finitary Streett games. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

issn=2664-1690

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed