首页    期刊浏览 2024年11月30日 星期六
登录注册

文章基本信息

  • 标题:Minimisation of Models Satisfying CTL Formulas
  • 本地全文:下载
  • 作者:Serenella Cerrito ; Amlie David ; Valentin Goranko
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2019
  • 卷号:147
  • 页码:1-15
  • DOI:10.4230/LIPIcs.TIME.2019.13
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要: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.
  • 关键词:CTL; model minimisation; bisimulation reduction; tableaux-based reduction
国家哲学社会科学文献中心版权所有