Closed sjunges closed 4 months ago
For interval models, the model checking result actually contains values for every state. So we do not need to merge it with the qualitative state results.
For interval models, the model checking result actually contains values for every state. So we do not need to merge it with the qualitative state results.