PAC statistical model checking of mean payoff in discrete- and continuous-time MDPShare on X (formerly Twitter) Facebook LinkedIn Previous Next
