Reasoning about cost-utility constraints in probabilistic models

DOI10.1007/978-3-319-24537-9_1zbMATH Open1471.68112OpenAlexW2401531638MaRDI QIDQ1675142FDOQ1675142

Authors: Christel Baier 

Publication date: 27 October 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-24537-9_1

Recommendations

• Ratio and weight quantiles
• Cost preserving bisimulations for probabilistic automata
• Modelling and analysis of Markov reward automata
• Cost preserving bisimulations for probabilistic automata
• Weighted automata and weighted MSO logics for average and long-time behaviors

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (5)

• Title not available (Why is that?)
• Life is random, time is not: Markov decision processes with window objectives
• Timed games with bounded window parity objectives
• Extensions of Decision-Theoretic Troubleshooting: Cost Clusters and Precedence Constraints
• Predicting optimal solution cost with conditional probabilities

This page was built for publication: Reasoning about cost-utility constraints in probabilistic models

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