Saona, Raimundo

2 publications

UAI 2025 Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee

AAAI 2025 Linear Equations with Min and Max Operators: Computational Complexity Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda