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.
527 Publications
2015 |
Published |
Technical Report |
IST-REx-ID: 5440 |
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v2-2
[Published Version]
View
| Files available
| DOI
earlier version | 2015 |
Published |
Technical Report |
IST-REx-ID: 5441 |
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2015 |
Published |
Technical Report |
IST-REx-ID: 5443 |
Chatterjee, K., Chmelik, M., & Davies, J. (2015). A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria. https://doi.org/10.15479/AT:IST-2015-325-v2-1
[Published Version]
View
| Files available
| DOI
2015 |
Published |
Technical Report |
IST-REx-ID: 5444 |
Reiter, J., Makohon-Moore, A., Gerold, J., Bozic, I., Chatterjee, K., Iacobuzio-Donahue, C., … Nowak, M. (2015). Reconstructing robust phylogenies of metastatic cancers. IST Austria. https://doi.org/10.15479/AT:IST-2015-399-v1-1
[Published Version]
View
| Files available
| DOI
2015 |
Research Data |
IST-REx-ID: 5549 |
Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:28
[Published Version]
View
| Files available
| DOI
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
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 1731 |
Chatterjee, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2015). Randomness for free. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.06.003
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 |
Published |
Conference Paper |
IST-REx-ID: 1732 |
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE. https://doi.org/10.1109/ICRA.2015.7139019
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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.)
| arXiv
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.)
| arXiv
earlier version | 2015 |
Published |
Conference Paper |
IST-REx-ID: 1610 |
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. In 42nd International Colloquium on Automata, Languages, and Programming (Vol. 9135, pp. 121–133). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47666-6_10
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
earlier version | 2015 |
Published |
Conference Paper |
IST-REx-ID: 1657 |
Chatterjee, K., Komárková, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Presented at the LICS: Logic in Computer Science, Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.32
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
earlier version | 2015 |
Published |
Technical Report |
IST-REx-ID: 5435 |
Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v2-1
[Published Version]
View
| Files available
| DOI
earlier version | 2015 |
Published |
Technical Report |
IST-REx-ID: 5429 |
Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2015 |
Published |
Technical Report |
IST-REx-ID: 5438 |
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-334-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2015 |
Published |
Conference Paper |
IST-REx-ID: 1661 |
Chatterjee, K., Henzinger, M., & 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.)
| WoS
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.)
| WoS
| arXiv
earlier version | 2015 |
Published |
Conference Paper |
IST-REx-ID: 1656 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.72
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
earlier version | 2015 |
Published |
Technical Report |
IST-REx-ID: 5436 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-170-v2-2
[Published Version]
View
| Files available
| DOI
2015 |
Published |
Journal Article |
IST-REx-ID: 1709 |
Reiter, J., Kanodia, A., Gupta, R., Nowak, M., & Chatterjee, K. (2015). Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society. https://doi.org/10.1098/rspb.2015.1041
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC