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.
3 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 21268 |
Chatterjee, K., Doyen, L., Raskin, J.-F., & Sankur, O. (2025). The value problem for multiple-environment MDPs with parity objective. In 52nd International Colloquium on Automata, Languages, and Programming. Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2025.150
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21280 |
Goranci, G., Henzinger, M., Räcke, H., & Sricharan, A. (2025). Incremental approximate maximum flow via residual graph sparsification. In 52nd International Colloquium on Automata, Languages, and Programming (Vol. 334, p. 91:1-91:20). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/lipics.icalp.2025.91
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21320 |
Giambartolomei, G., Mallmann-Trenn, F., & Saona Urmeneta, R. J. (2025). IID prophet inequality with random horizon: Going beyond increasing hazard rates. In 52nd International Colloquium on Automata, Languages, and Programming (Vol. 334). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2025.87
[Published Version]
View
| Files available
| DOI
| arXiv