ISTA Research Explorer

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.

454 Publications

2015 | Published | Conference Paper | IST-REx-ID: 1838 |

Bloem, R., Chatterjee, K., Jacobs, S., & Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_50

[Preprint] View | DOI | Download Preprint (ext.)

2015 | Published | Conference Paper | IST-REx-ID: 1839 |

Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_12

[Preprint] View | DOI | Download Preprint (ext.)

2015 | Published | Journal Article | IST-REx-ID: 1846 |

Beneš, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., & Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica. Springer. https://doi.org/10.1007/s00236-015-0215-4

[Submitted Version] View | Files available | DOI

2015 | Published | Journal Article | IST-REx-ID: 1851 |

Priklopil, T., Kisdi, E., & Gyllenberg, M. (2015). Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution. Wiley. https://doi.org/10.1111/evo.12618

[Submitted Version] View | Files available | DOI | PubMed | Europe PMC

2015 | Published | Journal Article | IST-REx-ID: 1856 |

Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2015). Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. ACM. https://doi.org/10.1145/2699430

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2015 | Published | Journal Article | IST-REx-ID: 1873 |

Chatterjee, K., & Chmelik, M. (2015). POMDPs under probabilistic semantics. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2014.12.009

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2015 | Published | Conference Paper | IST-REx-ID: 1882 |

Fahrenberg, U., Kretinsky, J., Legay, A., & Traonouez, L. (2015). Compositionality for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy: Springer. https://doi.org/10.1007/978-3-319-15317-9_19

[Preprint] View | DOI | Download Preprint (ext.)

2015 | Published | Journal Article | IST-REx-ID: 2034 |

Bérard, B., Chatterjee, K., & Sznajder, N. (2015). Probabilistic opacity for Markov decision processes. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2014.09.001

[Preprint] View | DOI | Download Preprint (ext.)

2015 | Published | Conference Paper | IST-REx-ID: 10796

Chatterjee, K., & Ibsen-Jensen, R. (2015). The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2015, pp. 1018–1029). San Diego, CA, United States: SIAM. https://doi.org/10.1137/1.9781611973730.69

[Preprint] View | DOI | arXiv

2015 | Published | Conference Paper | IST-REx-ID: 1661 |

Chatterjee, K., Henzinger, M. H., & Loitzenbauer, V. (2015). Improved algorithms for one-pair and k-pair Streett objectives. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.34

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2014 | Published | Journal Article | IST-REx-ID: 2716 |

Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. Springer. https://doi.org/10.1007/s00236-013-0182-6

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 | Published | Journal Article | IST-REx-ID: 535 |

Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2014). Polynomial-time algorithms for energy games with special weight structures. Algorithmica. Springer. https://doi.org/10.1007/s00453-013-9843-7

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 | Published | Technical Report | IST-REx-ID: 5412 |

Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v1-1