Robotic assistant case study and results
Contents:
- Case study implemented in PRISM.
- Results from probabilistic model checking according to the lattice, as a 2-D table.
- Results from total non-functional conformance level according to the lattice, as a 2-D table.