Weighted LTL with discounting

DOI10.1007/978-3-642-31606-7_32zbMATH Open1297.68155OpenAlexW6462357MaRDI QIDQ2914725FDOQ2914725

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

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

Mathematics Subject Classification ID

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

Cites Work

• Reasoning about infinite computations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lattice Automata
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Model Checking Quantitative Linear Time Logic
• Skew and infinitary formal power series
• On weighted first-order logics with discounting

Cited In (14)

• 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
• A translation of weighted LTL formulas to weighted Büchi automata over \(\omega\)-valuation monoids
• Discounted duration calculus
• Weighted Automata and Weighted Logics with Discounting
• Quantitative vs. weighted automata
• Policy synthesis and reinforcement learning for discounted LTL
• Adding pebbles to weighted automata: easy specification \& efficient evaluation
• LTL Can Be More Succinct

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)