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.
4 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18160 | 
Chatterjee, K., Goharshady, E., Karrabi, M., Novotný, P., & Zikelic, D. (2024). Solving long-run average reward robust MDPs via stochastic games. In 33rd International Joint Conference on Artificial Intelligence (pp. 6707–6715). Jeju, South Korea: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/741
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18159 |
Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2024). Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (pp. 3–12). Jeju, Korea: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10847 |
Tomášek, Petr, Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. 2021
[Published Version]
View
| DOI
| Download Published Version (ext.)
2003 | Published | Conference Paper | IST-REx-ID: 11909 |
Henzinger, M., Motwani, R., & Silverstein, C. (2003). Challenges in web search engines. In 18th International Joint Conference on Artificial Intelligence (pp. 1573–1579). Acapulco, Mexico: Association for Computing Machinery.
[Published Version]
View
| Download Published Version (ext.)