20 Mai
2011
20 Mai
'11
18:43
Hi,
I am getting familiar with the MRMC tool and I would appreciate if somebody can provide a simple example on how to use the tool to get an optimal policy for a CTMDP given a specification in CSL.
Any help will be very appreciated.
Thanks a lot,
Ana