Discounting in LTL
From MaRDI portal
Publication:5498739
DOI10.1007/978-3-642-54862-8_37zbMath1477.68163arXiv1406.4249MaRDI QIDQ5498739
Orna Kupferman, Udi Boker, Shaull Almagor
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