| 2026 | AAAI | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives. | Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona |
| 2025 | AAAI | Linear Equations with Min and Max Operators: Computational Complexity. | Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda |
| 2025 | ICALP | IID Prophet Inequality with Random Horizon: Going Beyond Increasing Hazard Rates. | Giordano Giambartolomei, Frederik Mallmann-Trenn, Raimundo Saona |
| 2025 | UAI | Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete. | Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee |
| 2025 | TACAS | Value Iteration with Guessing for Markov Chains and Markov Decision Processes. | Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda |
| 2023 | SODA | Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. | Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda |
| 2019 | SODA | Prophet Secretary Through Blind Strategies. | Jos Correa, Raimundo Saona, Bruno Ziliotto |