Discounted duration calculus

DOI10.1007/978-3-319-48989-6_35zbMath1427.68172OpenAlexW2551137832MaRDI QIDQ2281652

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

Publication date: 3 January 2020

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

zbMATH Keywords

timed automatamodel checkingduration calculustemporal logicdiscounting

Mathematics Subject Classification ID

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

This page was built for publication: Discounted duration calculus