Quantitative approach for linear temporal logic based on DTMC

DOI10.6040/J.ISSN.1671-9352.0.2014.401zbMATH Open1349.03009MaRDI QIDQ2993083FDOQ2993083

Authors: Huixian Shi, Yongming Li 

Publication date: 10 August 2016

Recommendations

• A quantitative approach for linear temporal logic based on finite transition systems
• Publication:4945224
• 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

zbMATH Keywords

linear temporal logicquantitative logiclogic metric spacesatisfaction degree

Mathematics Subject Classification ID

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

Cited In (4)

• A design of GPU-based quantitative model checking
• Satisfaction degree for a class of temporal logic formulae based on transition systems
• A quantitative approach for linear temporal logic based on finite transition systems
• On approximation metrics for linear temporal model-checking of stochastic 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)