Browsing Ponencias de Jornadas, Congresos y Reuniones by Subject "Modal logics"
Now showing items 1-1 of 1
-
Logical characterization of bisimulation for transition relations over probability distributions with internal actions
(2016)In recent years the study of probabilistic transition systems has shifted to transition relations over distributions to allow for a smooth adaptation of the standard non-probabilistic apparatus. In this paper we study ...