Raimundo Saona

I am currently a last-year PhD student at Institute of Science and Technology Austria (ISTA) under the supervision of Krishnendu Chatterjee.

My interests are: Game Theory, Probability Theory, Algorithmic Game Theory, Stochastic Analysis, Optimal Control, Imprecise Probability Theory.

Publications

Linear Equations with Min and Max Operators: Computational Complexity

Linear Equations with Min and Max Operators: Computational Complexity

Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda

arXiv.org 2024

ABSHTMLPDF
Limit-sure reachability for small memory policies in POMDPs is NP-complete

Limit-sure reachability for small memory policies in POMDPs is NP-complete

Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee

arXiv.org 2024

ABSHTMLPDF

Value-Positivity for Matrix Games

Krishnendu Chatterjee, Miquel Oliu-Barton, Raimundo Saona

Mathematics of Operations Research 2024

ABS
IID Prophet Inequality with Random Horizon: Going Beyond Increasing Hazard Rates

IID Prophet Inequality with Random Horizon: Going Beyond Increasing Hazard Rates

Giordano Giambartolomei, Frederik Mallmann-Trenn, Raimundo Saona

arXiv.org 2024

ABSHTMLPDF

Stochastic homogenization of HJ equations: a differential game approach

Andrea Davini, Raimundo Saona, Bruno Ziliotto

ABSHTMLPDF

Ergodic Unobservable MDPs: Decidability of Approximation

Krishnendu Chatterjee, David Lurie, Raimundo Saona, Bruno Ziliotto

arXiv.org 2024

ABSHTMLPDF
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms

Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms

Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda

Foundations of Software Technology and Theoretical Computer Science 2024

ABSPDF

Marginal Values of a Stochastic Game

Luc Attia, Miquel Oliu-Barton, Raimundo Saona

Mathematics of Operations Research 2024

ABS

Zero-sum Random Games on Directed Graphs

Luc Attia, Lyuben Lichev, D. Mitsche, Raimundo Saona, Bruno Ziliotto

ABSPDF
Prophet Inequalities: Separating Random Order from Order Selection

Prophet Inequalities: Separating Random Order from Order Selection

Giordano Giambartolomei, Frederik Mallmann-Trenn, Raimundo Saona

arXiv.org 2023

ABSHTMLPDF

Correction to: Relation Between the Number of Peaks and the Number of Reciprocal Sign Epistatic Interactions

Raimundo Saona, F. Kondrashov, Ksenia A. Khudiakova

Bulletin of Mathematical Biology 2023

ABSPDF
Repeated Prophet Inequality with Near-optimal Bounds

Repeated Prophet Inequality with Near-optimal Bounds

K. Chatterjee, Mona Mohammadi, Raimundo Saona

arXiv.org 2022

ABSPDF

Relation Between the Number of Peaks and the Number of Reciprocal Sign Epistatic Interactions

Raimundo Saona, F. Kondrashov, Ksenia A. Khudiakova

Bulletin of Mathematical Biology 2022

ABSPDF

The Complexity of POMDPs with Long-run Average Objectives

K. Chatterjee, Raimundo Saona, Bruno Ziliotto

arXiv.org 2019

Finite-Memory Strategies in POMDPs with Long-Run Average Objectives

Finite-Memory Strategies in POMDPs with Long-Run Average Objectives

K. Chatterjee, Raimundo Saona, Bruno Ziliotto

Mathematics of Operations Research 2019

ABSPDF

Conditional predictive Bayesian Cramér-Rao Lower Bounds for prognostic algorithms design

David Acuna, M. Orchard, Raimundo Saona

Applied Soft Computing 2018

ABS

Prophet secretary through blind strategies

J. Correa, Raimundo Saona, Bruno Ziliotto

Mathematical programming 2018

ABSPDF

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth

K. Chatterjee, Tobias Meggendorfer, Raimundo Saona, Jakub Svoboda

ACM-SIAM Symposium on Discrete Algorithms 2023

ABS