Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

[bensalah...@gmail.com]

Hi

I am looking for the method to compute an approximate probabilistic bisimulation of LMP  .

how to find it ?

http://www.prismmodelchecker.org/javadoc

Reference ;

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

http://www.prismmodelchecker.org/papers/festschrift-prakash.pdf

Thanks,

[Dave Parker]

Hi Bensalah,

We don't have an implementation of that in PRISM I'm afraid.

Best wishes,

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker developers" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchecke...@googlegroups.com
> <mailto:prismmodelchecke...@googlegroups.com>.
> To post to this group, send email to
> prismmodel...@googlegroups.com
> <mailto:prismmodel...@googlegroups.com>.
> Visit this group at https://groups.google.com/group/prismmodelchecker-dev.