-
Analysis of probabilistic programs by abstract interpretation
version corrigée de quelques scories -
Abstract interpretation of programs as Markov decision processes
We propose a formal language for the specification of trace properties of probabilistic, nondeterministic transition systems, encompassing the properties expressible... -
Local Distributed Decision
International audience
