Reward properties

[Polyxeni Tsompanoglou]

Hi, I have a CTMC model in which I use a cumulative reward property to measure energy consumption. However, I noticed that it did not accumulate the rewards.  The property I use has the form of R{"energy_consumption"}=? [ C<=C0 ]. Is there any idea why this happened?

Thanks in advance for your response.

[Dave Parker]

Hi Polyxeni,

It's hard to say without more detail. If you can send the model (either
here, or off-list), I can have investigate.

Best wishes,

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/d52ebdba-28b3-4100-adb8-a08b6184e718n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/d52ebdba-28b3-4100-adb8-a08b6184e718n%40googlegroups.com?utm_medium=email&utm_source=footer>.