Quantitative approach for linear temporal logic based on DTMC

DOI10.6040/J.ISSN.1671-9352.0.2014.401MaRDI QIDQ2993083zbMATH OpenFDO

Authors Huixian Shi, Yongming Li

Publication date 10 August 2016

Full work available at URL https://doi.org/10.6040/J.ISSN.1671-9352.0.2014.401

zbMATH Keywords

linear temporal logiclogic metric spacequantitative logicsatisfaction degree

Mathematics Subject Classification ID

Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in artificial intelligence (68T27)

Recommendations

• A quantitative approach for linear temporal logic based on finite transition systems
• scientific article; zbMATH DE number 1424034
• Satisfaction degree for a class of temporal logic formulae based on transition systems
• A quantitative characterization of weighted Kripke structures in temporal logic
• Model checking discounted temporal properties

Cited in

(4)

• A design of GPU-based quantitative model checking
• Satisfaction degree for a class of temporal logic formulae based on transition systems
• On approximation metrics for linear temporal model-checking of stochastic systems
• A quantitative approach for linear temporal logic based on finite transition systems

This page was built for publication: Quantitative approach for linear temporal logic based on DTMC

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