10 citations · 17 across the 8 of their papers we have counts for
4 papers · 1 filter
Robust Model Checking with Imprecise Markov Reward Models
Alberto Termine, Alessandro Antonucci, Alessandro Facchini +1
In recent years probabilistic model checking has become an important area of research because of the diffusion of computational systems of stochastic nature. Despite its great succ…
The Power of the Weak
Facundo Carreiro, Alessandro Facchini, Yde Venema +1
A landmark result in the study of logics for formal verification is Janin & Walukiewicz's theorem, stating that the modal -calculus () is equivalent modulo bisimil…
Model Theory of Monadic Predicate Logic with the Infinity Quantifier
Facundo Carreiro, Alessandro Facchini, Yde Venema +1
This paper establishes model-theoretic properties of , a variation of monadic first-order logic that features the generalised quantifier (`t…
A Credal Extension of Independent Choice Logic
Alessandro Antonucci, Alessandro Facchini
We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probabilit…