Trade-off analysis meets probabilistic model checking

DOI10.1145/2603088.2603089MaRDI QIDQ4635586zbMATH OpenOpenAlexFDO

Authors Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Publication date 23 April 2018

Published in Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2603088.2603089

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• The probabilistic model checking landscape
• Model checking probabilistic systems
• Model checking of probabilistic and nondeterministic systems
• On-the-fly probabilistic model checking
• Towards light-weight probabilistic model checking
• Compositional probabilistic verification through multi-objective model checking
• Efficient probabilistic model checking of systems with ranged probabilities

Cited in

(11)

• Multi-objective optimization of long-run average and total rewards
• Statistical model checking for variability-intensive systems: applications to bug detection and minimization
• Using probabilistic model checking for dynamic power management
• Ratio and weight quantiles
• Multi-weighted Markov decision processes with reachability objectives
• The odds of staying on budget
• A quantitative partial model-checking function and its optimisation
• Pareto curves for probabilistic model checking
• Simple strategies in multi-objective MDPs
• Energy-utility analysis for resilient systems using probabilistic model checking
• Probabilistic model checking for energy-utility analysis

This page was built for publication: Trade-off analysis meets probabilistic model checking

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