output
20102025
most citedOn the Use of Lee's Protocol for Speckle-Reducing Techniques

26 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2023 · cs.LOShow all

2 papers · 2 filters

cs.LO2023★ 1 cited

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem

Carlos Areces, Valentin Cassano, Raul Fervari +2

We investigate the complexity of the satisfiability problem for a modal logic expressing `knowing how' assertions, related to an agent's abilities to achieve a certain goal. We tak…

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…