Hi,<div><br></div><div>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.</div>
<div><br></div><div>Any help will be very appreciated.</div><div><br></div><div>Thanks a lot,</div><div><br></div><div>Ana</div>