Discounting in time

DOI10.1016/J.ENTCS.2009.10.003MaRDI QIDQ7014447zbMATH OpenFDO

Authors Uli Fahrenberg, Kim G. Larsen

Publication date 11 March 2025

Full work available at URL https://doi.org/10.1016/J.ENTCS.2009.10.003

zbMATH Keywords

timed automatadiscountingweighted timed automatatimed transition systemspriced timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1134975 (Why is no real title available?)
• scientific article; zbMATH DE number 2038772 (Why is no real title available?)
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• A theory of timed automata
• Automata, Languages and Programming
• Concavely-Priced Timed Automata
• Discount-optimal infinite runs in priced timed automata
• Finite state Markovian decision processes
• Formal Modeling and Analysis of Timed Systems
• Hybrid Systems: Computation and Control
• Model checking discounted temporal properties
• Optimal paths in weighted timed automata
• Recoverability of Communication Protocols--Implications of a Theoretical Study

This page was built for publication: Discounting in time

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