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.
465 Publications
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 14820 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schmid, Stefan, et al. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” Theoretical Computer Science, vol. 989, 114353, Elsevier, 2024, doi:10.1016/j.tcs.2023.114353.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Conference Paper | IST-REx-ID: 15006 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hirvonen, Juho, et al. “On the Convergence Time in Graphical Games: A Locality-Sensitive Approach.” 27th International Conference on Principles of Distributed Systems, vol. 286, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.OPODIS.2023.11.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 15083 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hübner, Valentin, et al. “Efficiency and Resilience of Cooperation in Asymmetric Social Dilemmas.” Proceedings of the National Academy of Sciences, vol. 121, no. 10, e2315558121, Proceedings of the National Academy of Sciences, 2024, doi:10.1073/pnas.2315558121.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Research Data Reference | IST-REx-ID: 15108 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hübner, Valentin, and Maria Kleshnina. Computer Code for “Efficiency and Resilience of Cooperation in Asymmetric Social Dilemmas.” Zenodo, 2024, doi:10.5281/ZENODO.10639167.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15297 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Svoboda, Jakub, et al. “Amplifiers of Selection for the Moran Process with Both Birth-Death and Death-Birth Updating.” PLoS Computational Biology, vol. 20, no. 3, e1012008, Public Library of Science, 2024, doi:10.1371/journal.pcbi.1012008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17037
Attia, Luc, et al. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research, Institute for Operations Research and the Management Sciences, 2024, doi:10.1287/moor.2023.0297.
View
| DOI
2024 |Submitted| Preprint | IST-REx-ID: 17098 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Asadi, Ali, et al. “Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights.” ArXiv, 2405.02479, doi:10.48550/arXiv.2405.02479.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Submitted| Preprint | IST-REx-ID: 17099 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Asadi, Ali, et al. “Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms.” ArXiv, 2405.02486, doi:10.48550/arXiv.2405.02486.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Submitted| Preprint | IST-REx-ID: 17101 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Attia, Luc, et al. “Zero-Sum Random Games on Directed Graphs.” ArXiv, 2401.16252, doi:10.48550/arXiv.2401.16252.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17162 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Quantitative Bounds on Resource Usage of Probabilistic Programs.” Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA1, 107, Association for Computing Machinery, 2024, doi:10.1145/3649824.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12676 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:10.1137/1.9781611977554.ch173.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 13142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12787 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Svoboda, Jakub, et al. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no. 2271, 20220685, The Royal Society, 2023, doi:10.1098/rspa.2022.0685.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12861 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schmid, Laura, et al. “Quantitative Assessment Can Stabilize Indirect Reciprocity under Imperfect Information.” Nature Communications, vol. 14, 2086, Springer Nature, 2023, doi:10.1038/s41467-023-37817-x.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 14242 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lechner, Mathias, et al. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 12, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–73, doi:10.1609/aaai.v37i12.26747.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14243 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 5, 2023, pp. 5464–71, doi:10.1609/aaai.v37i5.25679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14259 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 390–414, doi:10.1007/978-3-031-37706-8_20.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14318 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sun, Yican, et al. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 16–39, doi:10.1007/978-3-031-37709-9_2.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14317 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.
[Published Version]
View
| Files available
| DOI
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 12738 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Objectives.” Formal Methods in System Design, Springer Nature, 2023, doi:10.1007/s10703-023-00411-4.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS