The University of Southampton
University of Southampton Institutional Repository

Parity automata for quantitative linear time logics

Cirstea, Corina, Shimizu, Shunsuke and Hasuo, Ichiro (2017) Parity automata for quantitative linear time logics At 7th International Conference on Algebra and Coalgebra in Computer Science, Ljubljana, Slovenia. 14 - 16 Jun 2017. 17 pp, 7:1-7:17.

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.

PDF calco - Accepted Manuscript
Available under License Creative Commons Attribution.
Download (652kB)

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: 17 Jul 2017 13:32

Export record

Contributors

Author: Corina Cirstea
Author: Shunsuke Shimizu
Author: Ichiro Hasuo

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×