Raimundo Saona

26 papers A* 5A 1Journal 18Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives. AAAI Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona
2025	A*	`conf`	IID Prophet Inequality with Random Horizon: Going Beyond Increasing Hazard Rates. ICALP Giordano Giambartolomei, Frederik Mallmann-Trenn, Raimundo Saona
2025	A	`conf`	Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete. UAI Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee
2025	A*	`conf`	Linear Equations with Min and Max Operators: Computational Complexity. AAAI Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda
2025	J	`jnl`	Marginal Values of a Stochastic Game. Math. Oper. Res. Luc Attia, Miquel Oliu-Barton, Raimundo Saona
2025	J	`jnl`	Random Zero-Sum Dynamic Games on Infinite Directed Graphs. Dyn. Games Appl. Luc Attia, Lyuben Lichev, Dieter Mitsche, Raimundo Saona, Bruno Ziliotto
2025	J	`jnl`	Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives. CoRR Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona
2025	—	`conf`	Value Iteration with Guessing for Markov Chains and Markov Decision Processes. TACAS (2) Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda
2025	J	`jnl`	Value Iteration with Guessing for Markov Chains and Markov Decision Processes. CoRR Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona, Jakub Svoboda
2025	J	`jnl`	Value-Positivity for Matrix Games. Math. Oper. Res. Krishnendu Chatterjee, Miquel Oliu-Barton, Raimundo Saona
2024	—	`conf`	Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms. FSTTCS Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024	J	`jnl`	Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms. CoRR Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024	J	`jnl`	Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. CoRR Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
2024	J	`jnl`	Ergodic Unobservable MDPs: Decidability of Approximation. CoRR Krishnendu Chatterjee, David Lurie, Raimundo Saona, Bruno Ziliotto
2024	J	`jnl`	IID Prophet Inequality with Random Horizon: Going Beyond Increasing Hazard Rates. CoRR Giordano Giambartolomei, Frederik Mallmann-Trenn, Raimundo Saona
2024	J	`jnl`	Limit-sure reachability for small memory policies in POMDPs is NP-complete. CoRR Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee
2024	J	`jnl`	Linear Equations with Min and Max Operators: Computational Complexity. CoRR Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda
2023	A*	`conf`	Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. SODA Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda
2023	J	`jnl`	Prophet Inequalities: Separating Random Order from Order Selection. CoRR Giordano Giambartolomei, Frederik Mallmann-Trenn, Raimundo Saona
2022	J	`jnl`	Finite-Memory Strategies in POMDPs with Long-Run Average Objectives. Math. Oper. Res. Krishnendu Chatterjee, Raimundo Saona, Bruno Ziliotto
2022	J	`jnl`	Repeated Prophet Inequality with Near-optimal Bounds. CoRR Krishnendu Chatterjee, Mona Mohammadi, Raimundo Saona
2021	J	`jnl`	Prophet secretary through blind strategies. Math. Program. José Correa, Raimundo Saona, Bruno Ziliotto
2019	A*	`conf`	Prophet Secretary Through Blind Strategies. SODA José Correa, Raimundo Saona, Bruno Ziliotto
2019	J	`jnl`	The Complexity of POMDPs with Long-run Average Objectives. CoRR Krishnendu Chatterjee, Raimundo Saona, Bruno Ziliotto
2018	J	`jnl`	Conditional predictive Bayesian Cramér-Rao Lower Bounds for prognostic algorithms design. Appl. Soft Comput. David Acuna, Marcos E. Orchard, Raimundo Saona
2018	J	`jnl`	Prophet Secretary Through Blind Strategies. CoRR José Correa, Raimundo Saona, Bruno Ziliotto