你即將離開本站

並前往https://core.ac.uk/download/pdf/185490803.pdf

PRISM-games 2.0: A Tool for Multi-Objective Strategy ... - CORE

PRISM -games 2.0 significantly extends its functionality by supporting, for the first time: (i) long-run average (mean-payoff) and ratio reward objectives, ...

確定！ 回上一頁

查詢 「prism rewards」的人也找了：

  1. prism cumulative reward
    2.
  2. prism variables
    3.
  3. prism language
    4.
  4. prism model checker
    5.
  5. prism property
    6.
  6. prism manual
    7.
  7. prism properties
    8.
  8. prism user manual
    9.