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 |
K. Chatterjee, L. Doyen, J.-F. Raskin, and O. Sankur, “The value problem for multiple-environment MDPs with parity objective,” in 52nd International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21280 |
G. Goranci, M. Henzinger, H. Räcke, and A. Sricharan, “Incremental approximate maximum flow via residual graph sparsification,” in 52nd International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 2025, vol. 334, p. 91:1-91:20.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21320 |
G. Giambartolomei, F. Mallmann-Trenn, and R. J. Saona Urmeneta, “IID prophet inequality with random horizon: Going beyond increasing hazard rates,” in 52nd International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 2025, vol. 334.
[Published Version]
View
| Files available
| DOI
| arXiv