Parity automata for quantitative linear time logics
Parity automata for quantitative linear time logics
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 Büchi variants of such automata, with implications on the expressiveness of fragments of the logics considered, and (iii) a naïve algorithm for computing extents, under additional assumptions on the domain of truth values.
coalgebra, quantitative logic, linear time logic, parity automaton
7:1-7:17
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Shimizu, Shunsuke
bbb36199-4d5d-4675-94ee-857d4dd0100b
Hasuo, Ichiro
61863486-f50a-48d5-9d68-57880cb18b31
16 June 2017
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Shimizu, Shunsuke
bbb36199-4d5d-4675-94ee-857d4dd0100b
Hasuo, Ichiro
61863486-f50a-48d5-9d68-57880cb18b31
Cirstea, Corina, Shimizu, Shunsuke and Hasuo, Ichiro
(2017)
Parity automata for quantitative linear time logics.
7th International Conference on Algebra and Coalgebra in Computer Science, , Ljubljana, Slovenia.
14 - 16 Jun 2017.
.
(doi:10.4230/LIPIcs.CALCO.2017.7).
Record type:
Conference or Workshop Item
(Paper)
Abstract
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 Büchi variants of such automata, with implications on the expressiveness of fragments of the logics considered, and (iii) a naïve algorithm for computing extents, under additional assumptions on the domain of truth values.
Text
calco
- Version of Record
More information
Accepted/In Press date: 15 May 2017
Published date: 16 June 2017
Venue - Dates:
7th International Conference on Algebra and Coalgebra in Computer Science, , Ljubljana, Slovenia, 2017-06-14 - 2017-06-16
Keywords:
coalgebra, quantitative logic, linear time logic, parity automaton
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 410896
URI: http://eprints.soton.ac.uk/id/eprint/410896
PURE UUID: d2d43118-0357-42b3-968b-685f976992f1
Catalogue record
Date deposited: 09 Jun 2017 16:31
Last modified: 16 Mar 2024 03:36
Export record
Altmetrics
Contributors
Author:
Corina Cirstea
Author:
Shunsuke Shimizu
Author:
Ichiro Hasuo
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics