Weighted LTL with discounting

DOI10.1007/978-3-642-31606-7_32MaRDI QIDQ2914725zbMATH OpenOpenAlexFDO

Authors Eleni Mandrali

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Temporal logic (03B44)

Recommendations

• Weighted automata and weighted logics with discounting
• Weighted Automata and Weighted Logics with Discounting
• On weighted first-order logics with discounting
• Weighted linear dynamic logic
• scientific article; zbMATH DE number 5854945

Cites work

• scientific article; zbMATH DE number 2038772 (Why is no real title available?)
• scientific article; zbMATH DE number 1786477 (Why is no real title available?)
• Lattice Automata
• Model Checking Quantitative Linear Time Logic
• On weighted first-order logics with discounting
• Reasoning about infinite computations
• Skew and infinitary formal power series
• Weighted automata and multi-valued logics over arbitrary bounded lattices

Cited in

(14)

• LTL Can Be More Succinct
• Weighted automata with discounting
• Parameterized model checking of weighted networks
• Near-Optimal Scheduling for LTL with Future Discounting
• Weighted automata and weighted logics with discounting
• On weighted first-order logics with discounting
• Weighted Linear Dynamic Logic
• Weighted linear dynamic logic
• Discounted duration calculus
• A translation of weighted LTL formulas to weighted Büchi automata over \(\omega\)-valuation monoids
• Weighted Automata and Weighted Logics with Discounting
• Quantitative vs. weighted automata
• Adding pebbles to weighted automata: easy specification \& efficient evaluation
• Policy synthesis and reinforcement learning for discounted LTL

This page was built for publication: Weighted LTL with discounting

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