This notebook illustrates how to perform interactive incremental analysis of the state-space of a RR model. This consists mainly in successive splits of the states with respect to properties, yielding a component graph that is progressively refined. These graphs are displayed and can be interacted with so that the next step of the exploration can be decided conveniently.
- 2023-12-21
- play notebook
- rr-compographs.ipynb
- rr-termites.rr