1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2026
Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
Pablo F. Castro
This paper introduces SATFuL, a SAT solver for fuzzy logics. In contrast to the Boolean case, for which numerous SAT solvers exist, the SAT problem for fuzzy logics has attracted l…
cs.LO2025
Polytopal Stochastic Games
Pablo F. Castro, Pedro D'Argenio
In this paper we introduce polytopal stochastic games, an extension of two-player, zero-sum, turn-based stochastic games, in which we may have uncertainty over the transition proba…
cs.LO2023★ 1 cited
Quantifying Masking Fault-Tolerance via Fair Stochastic Games
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi +1
We introduce a formal notion of masking fault-tolerance between probabilistic transition systems using stochastic games. These games are inspired in bisimulation games, but they al…