2026-07-22T01:29:23Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8046 2024-03-06T10:39:37Z ddc:004 open_access

Parity Automata for Quantitative Linear Time Logics Cirstea, Corina Shimizu, Shunsuke Hasuo, Ichiro coalgebra quantitative logic linear time logic parity automaton We initiate a study of automata-based model checking for previously proposed quantitative linear time logics interpreted over coalgebras. Our results include: (i) an automata-theoretic characterisation of the semantics of these logics, based on a notion of extent of a quantitative parity automaton, (ii) a study of the expressive power of Buchi variants of such automata, with implications on the expressiveness of fragments of the logics considered, and (iii) a naive algorithm for computing extents, under additional assumptions on the domain of truth values. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Corina Cirstea and Shunsuke Shimizu and Ichiro Hasuo 2017 Is Part Of LIPIcs, Volume 72, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2017.7 urn:nbn:de:0030-drops-80468 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.7 eng https://creativecommons.org/licenses/by/3.0/legalcode