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

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)

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

Cited in

(4)

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