2 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…