Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
463 Publications
2015 |Published| Journal Article | IST-REx-ID: 1559 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computational complexity of ecological and evolutionary spatial dynamics
R. Ibsen-Jensen, K. Chatterjee, M. Nowak, PNAS 112 (2015) 15636–15641.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Ibsen-Jensen, K. Chatterjee, M. Nowak, PNAS 112 (2015) 15636–15641.
2015 |Published| Conference Paper | IST-REx-ID: 1594
Controller synthesis for MDPs and frequency LTL\GU
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
View
| DOI
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
2015 |Published| Conference Paper | IST-REx-ID: 1601 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
[Submitted Version]
View
| Files available
| DOI
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
2015 |Published| Conference Paper | IST-REx-ID: 1609 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.
2015 |Published| Journal Article | IST-REx-ID: 1624 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cellular cooperation with shift updating and repulsion
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
2015 |Published| Conference Paper | IST-REx-ID: 1660 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Long-run average behaviour of probabilistic vector addition systems
T. Brázdil, S. Kiefer, A. Kučera, P. Novotný, in:, IEEE, 2015, pp. 44–55.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T. Brázdil, S. Kiefer, A. Kučera, P. Novotný, in:, IEEE, 2015, pp. 44–55.
2015 |Published| Journal Article | IST-REx-ID: 1665 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mutations driving CLL and their evolution in progression and relapse
Landau D, Tausch E, Taylor Weiner A, Stewart C, Reiter J, Bahlo J, Kluth S, Božić I, Lawrence M, Böttcher S, Carter S, Cibulskis K, Mertens D, Sougnez C, Rosenberg M, Hess J, Edelmann J, Kless S, Kneba M, Ritgen M, Fink A, Fischer K, Gabriel S, Lander E, Nowak M, Döhner H, Hallek M, Neuberg D, Getz G, Stilgenbauer S, Wu C. 2015. Mutations driving CLL and their evolution in progression and relapse. Nature. 526(7574), 525–530.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Landau D, Tausch E, Taylor Weiner A, Stewart C, Reiter J, Bahlo J, Kluth S, Božić I, Lawrence M, Böttcher S, Carter S, Cibulskis K, Mertens D, Sougnez C, Rosenberg M, Hess J, Edelmann J, Kless S, Kneba M, Ritgen M, Fink A, Fischer K, Gabriel S, Lander E, Nowak M, Döhner H, Hallek M, Neuberg D, Getz G, Stilgenbauer S, Wu C. 2015. Mutations driving CLL and their evolution in progression and relapse. Nature. 526(7574), 525–530.
2015 |Published| Conference Paper | IST-REx-ID: 1667 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, V. Řehák, 9259 (2015) 141–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, V. Řehák, 9259 (2015) 141–159.
2015 |Published| Journal Article | IST-REx-ID: 1673 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Amplifiers of selection
B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015).
[Published Version]
View
| Files available
| DOI
B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015).
2015 |Published| Conference Paper | IST-REx-ID: 1691
Temporal logic motion planning using POMDPs with parity objectives: Case study paper
M. Svoreňová, M. Chmelik, K. Leahy, H. Eniser, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–238.
View
| DOI
M. Svoreňová, M. Chmelik, K. Leahy, H. Eniser, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–238.
2015 |Published| Journal Article | IST-REx-ID: 1694
Quantitative temporal simulation and refinement distances for timed systems
K. Chatterjee, V. Prabhu, IEEE Transactions on Automatic Control 60 (2015) 2291–2306.
View
| DOI
K. Chatterjee, V. Prabhu, IEEE Transactions on Automatic Control 60 (2015) 2291–2306.
2015 |Published| Journal Article | IST-REx-ID: 1698 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The complexity of multi-mean-payoff and multi-energy games
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.
2015 |Published| Conference Paper | IST-REx-ID: 1820 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.
2015 |Published| Conference Paper | IST-REx-ID: 1838 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
[Preprint]
View
| DOI
| Download Preprint (ext.)
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
2015 |Published| Conference Paper | IST-REx-ID: 1839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
2015 |Published| Journal Article | IST-REx-ID: 1846 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Refinement checking on parametric modal transition systems
N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.
[Submitted Version]
View
| Files available
| DOI
N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, J. Srba, Acta Informatica 52 (2015) 269–297.
2015 |Published| Journal Article | IST-REx-ID: 1851 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating
T. Priklopil, E. Kisdi, M. Gyllenberg, Evolution 69 (2015) 1015–1026.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
T. Priklopil, E. Kisdi, M. Gyllenberg, Evolution 69 (2015) 1015–1026.
2015 |Published| Journal Article | IST-REx-ID: 1873 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
POMDPs under probabilistic semantics
K. Chatterjee, M. Chmelik, Artificial Intelligence 221 (2015) 46–72.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, Artificial Intelligence 221 (2015) 46–72.
2015 |Published| Conference Paper | IST-REx-ID: 1882 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Compositionality for quantitative specifications
U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015, pp. 306–324.
[Preprint]
View
| DOI
| Download Preprint (ext.)
U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015, pp. 306–324.
2015 |Published| Journal Article | IST-REx-ID: 2034 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Probabilistic opacity for Markov decision processes
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.