Parity Automata for Quantitative Linear Time Logics

DOI10.4230/LIPICS.CALCO.2017.7zbMATH Open1433.68212OpenAlexW2626109160MaRDI QIDQ4580202FDOQ4580202

Shunsuke Shimizu, Corina Cîrstea, Ichiro Hasuo

Publication date: 13 August 2018

Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2017.7

zbMATH Keywords

coalgebraquantitative logiclinear time logicparity automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (3)

• Title not available (Why is that?)
• Linear-time logics -- a coalgebraic perspective
• Title not available (Why is that?)

Recommendations

• Linear parametric model checking of timed automata 👍 👎
• Automata and temporal logic over arbitrary linear time 👍 👎
• A Paraconsistent Linear-time Temporal Logic 👍 👎
• Model Checking Quantitative Linear Time Logic 👍 👎
• On relation between linear temporal logic and quantum finite automata 👍 👎
• Linear Temporal Logic of Constraint Automata 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Parity Automata for Quantitative Linear Time Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580202)