The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Standard techniques for model checking stochastic multi-agent systems usually assume the
transition probabilities describing the system dynamics to be stationary and completely …

Stochastic multi-agent systems raise the necessity to extend probabilistic model checking to
the epistemic domain. Results in this direction have been achieved by epistemic extensions …

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 …

Contemporary society is increasingly dependent on the use of autonomous computational
systems. Being sure that these systems behave appropriately and do what they have been …