Does PRISM's Java API support statistical model checking?

[Raquel Sánchez Salas]

Hi,

I know that PRISM's Java API allows us to perform probabilistic model checking, but I was wondering if it's also possible to perform statistical model checking using the same API?

Is there a way to run simulations and gather statistical results programmatically through the API, or would this require invoking PRISM's command-line interface (CLI) for statistical model checking?

Thanks in advance for any clarification.