Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Minimisation of Models Satisfying CTL Formulas
Stockholm University, Faculty of Humanities, Department of Philosophy. University of Johannesburg, South Africa.ORCID iD: 0000-0002-0157-1644
2019 (English)In: 26th International Symposium on Temporal Representation and Reasoning (TIME 2019) / [ed] Johann Gamper, Sophie Pinchinat, Guido Sciavicco, 2019, p. 13:1-13:15, article id 13Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2019. p. 13:1-13:15, article id 13
Series
Leibniz international proceedings in informatics, E-ISSN 1868-8969 ; 147
Keywords [en]
CTL, model minimisation, bisimulation reduction, tableaux-based reduction
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:su:diva-177317DOI: 10.4230/LIPIcs.TIME.2019.13ISBN: 978-3-95977-127-6 (print)OAI: oai:DiVA.org:su-177317DiVA, id: diva2:1381493
Conference
26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Málaga, Spain, 16t-19 October, 2019
Funder
Swedish Research Council, 2015-04388Available from: 2019-12-21 Created: 2019-12-21 Last updated: 2019-12-22

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Goranko, Valentin
By organisation
Department of Philosophy
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 5 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf