1 citations · 1 across the 5 of their papers we have counts for
6 papers
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
Pablo F. Castro, Luciano Putruele, Renzo Degiovanni +1
We present an approach to automatically synthesize synchronized models from lightweight formal specifications. Our approach takes as input a specification of a distributed system a…
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification
Pablo F. Castro, Pedro D'Argenio, Luciano Putruele +1
We introduce a formal notion of masking fault-tolerance between probabilistic transition systems based on a variant of probabilistic bisimulation (named masking simulation). We als…
Playing Against Fair Adversaries in Stochastic Games with Total Rewards
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele +1
We investigate zero-sum turn-based two-player stochastic games in which the objective of one player is to maximize the amount of rewards obtained during a play, while the other aim…
An Algebraic Approach for Action Based Default Reasoning
Pablo F. Castro, Valentin Cassano, Raul Fervari +1
Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted…
Measuring Masking Fault-Tolerance
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi +1
In this paper we introduce a notion of fault-tolerance distance between labeled transition systems. Intuitively, this notion of distance measures the degree of fault-tolerance exhi…
Automated Reasoning over Deontic Action Logics with Finite Vocabularies
Pablo F. Castro, Thomas S. E. Maibaum
In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of ac…