PRISM-games is an extension of PRISM for the verification of probabilistic systems that can incorporate competitive or collaborative behaviour, modelled as ...
確定! 回上一頁