4 citations · 21 across the 15 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
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…
cs.LO2018
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…