Groups
Sign in
Groups
PRISM model checker developers
Conversations
About
Send feedback
Help
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
28 views
Skip to first unread message
bensalah...@gmail.com
unread,
Nov 14, 2018, 2:27:43 PM
11/14/18
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to PRISM model checker developers
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
unread,
Nov 15, 2018, 4:07:00 AM
11/15/18
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to PRISM model checker developers, bensalah...@gmail.com
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
.
Reply all
Reply to author
Forward
0 new messages