Discounted duration calculus

DOI10.1007/978-3-319-48989-6_35MaRDI QIDQ2281652zbMATH OpenOpenAlexFDO

Authors Heinrich Ody, Martin Fränzle, Michael R. Hansen

Publication date 3 January 2020

Full work available at URL https://doi.org/10.1007/978-3-319-48989-6_35

zbMATH Keywords

discountingduration calculusmodel checkingtemporal logictimed automata

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Discounting in LTL
• Model checking discounted temporal properties
• Tools and Algorithms for the Construction and Analysis of Systems
• More or less true DCTL for continuous-time MDPs
• Weighted LTL with discounting

Cited in

(6)

• Recursive calculation of time to ruin distributions.
• More or less true DCTL for continuous-time MDPs
• Formally reasoning about quality
• scientific article; zbMATH DE number 2038772 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Discounting in LTL

This page was built for publication: Discounted duration calculus

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