Weighted LTL with Discounting
From MaRDI portal
Publication:2914725
DOI10.1007/978-3-642-31606-7_32zbMath1297.68155OpenAlexW6462357MaRDI QIDQ2914725
Publication date: 20 September 2012
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31606-7_32
Related Items
Weighted Linear Dynamic Logic ⋮ Quantitative vs. weighted automata ⋮ Adding pebbles to weighted automata: easy specification \& efficient evaluation ⋮ Parameterized model checking of weighted networks ⋮ On weighted first-order logics with discounting
Cites Work