Discounting in LTL
From MaRDI portal
Publication:5498739
DOI10.1007/978-3-642-54862-8_37zbMath1477.68163arXiv1406.4249OpenAlexW2284512813MaRDI QIDQ5498739
Orna Kupferman, Shaull Almagor, Udi Boker
Publication date: 10 February 2015
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.4249
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (9)
Synthesis with rational environments ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Weighted Linear Dynamic Logic ⋮ Quantitative model checking of linear-time properties based on generalized possibility measures ⋮ Quantitative vs. weighted automata ⋮ Unnamed Item ⋮ Quantitative Automata under Probabilistic Semantics ⋮ On High-Quality Synthesis ⋮ Sensing as a Complexity Measure
This page was built for publication: Discounting in LTL
