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.

76 Publications


2014 | Technical Report | IST-REx-ID: 5421
Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5414
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427   OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5415
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409   OA
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 6440   OA
Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation to achieve scalable lock-free FIFO queues , IST Austria, 23p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404
Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5405
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with ω-regular objectives, IST Austria, 41p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5402   OA
Henzinger TA, Sezgin A. 2013. How free is your linearizable concurrent data structure?, IST Austria, 16p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5399
Reiter J, Bozic I, Chatterjee K, Nowak M. 2013. TTP: Tool for Tumor Progression, IST Austria, 17p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5408
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5410
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396   OA
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations, IST Austria, 21p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
View | Files available | DOI
 

Filters and Search Terms

issn=2664-1690

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed