文章基本信息

标题：Parity Automata for Quantitative Linear Time Logics
本地全文：下载
作者：Corina Cirstea ; Shunsuke Shimizu ; Ichiro Hasuo 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：72
页码：7:1-7:18
DOI：10.4230/LIPIcs.CALCO.2017.7
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：coalgebra; quantitative logic; linear time logic; parity automaton