 |
Conference papers
Minimisation of models satisfying CTL formulas
Abstract : We study the problem of minimisation of a given finite pointed Kripke model satisfying a given CTL formula, with the only objective to preserve the satisfaction of that formula in the resulting reduced model. We consider minimisations of the model with respect both to state-based redundancies and formula-based redundancies in that model. We develop a procedure computing all such minimisations, illustrate it with some examples, and provide some complexity analysis for it.
https://hal.archives-ouvertes.fr/hal-02333575
Contributor : Frédéric Davesne <>
Submitted on : Friday, October 25, 2019 - 2:10:41 PM
Last modification on : Monday, July 6, 2020 - 5:44:14 PM
Contributor : Frédéric Davesne <>
Submitted on : Friday, October 25, 2019 - 2:10:41 PM
Last modification on : Monday, July 6, 2020 - 5:44:14 PM