Ricardo D. Katz

15 papers A* 1B 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Thresholds for sensitive optimality and Blackwell optimality in stochastic games.
CoRR
Stéphane Gaubert, Julien Grand-Clément, Ricardo D. Katz
2025 J jnl
Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games.
Inf. Comput.
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
2022 J jnl
Formalizing the Face Lattice of Polyhedra.
Log. Methods Comput. Sci.
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
2022 J jnl
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra.
Comput. J.
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
2022 A* conf
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games.
ICALP
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
2022 J jnl
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games.
CoRR
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
2021 J jnl
Formalizing the Face Lattice of Polyhedra.
CoRR
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
2021 J jnl
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra.
CoRR
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
2020 — conf
Formalizing the Face Lattice of Polyhedra.
IJCAR (2)
Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub
2019 J jnl
A Formalization of Convex Polyhedra Based on the Simplex Method.
J. Autom. Reason.
Xavier Allamigeon, Ricardo D. Katz
2018 J jnl
Addendum to "Vertex adjacencies in the set covering polyhedron" [Discrete Appl. Math. 218(2017) 40-56].
Discret. Appl. Math.
Néstor E. Aguilera, Ricardo D. Katz, Paola B. Tolomei
2018 J jnl
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming.
CoRR
Xavier Allamigeon, Stéphane Gaubert, Ricardo D. Katz, Mateusz Skomra
2017 B conf
A Formalization of Convex Polyhedra Based on the Simplex Method.
ITP
Xavier Allamigeon, Ricardo D. Katz
2017 J jnl
A formalization of convex polyhedra based on the simplex method.
CoRR
Xavier Allamigeon, Ricardo D. Katz
2017 J jnl
Vertex adjacencies in the set covering polyhedron.
Discret. Appl. Math.
Néstor E. Aguilera, Ricardo D. Katz, Paola B. Tolomei