Serenella Cerrito, Amélie David, Valentin Goranko. Minimisation of models satisfying CTL formulas.
26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Oct 2019, Malage, Spain. pp.131--135,
⟨10.4230/LIPIcs.TIME.2019.13⟩.
⟨hal-02333575⟩