Trade-off analysis meets probabilistic model checking

DOI10.1145/2603088.2603089zbMATH Open1401.68181OpenAlexW2095390318MaRDI QIDQ4635586FDOQ4635586

Clemens Dubslaff, Christel Baier, Sascha Klüppelholz

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

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

Cited In (7)

• Simple Strategies in Multi-Objective MDPs
• Title not available (Why is that?)
• Multi-objective optimization of long-run average and total rewards
• Ratio and Weight Quantiles
• The Odds of Staying on Budget
• Statistical model checking for variability-intensive systems: applications to bug detection and minimization
• Quantitative Automata under Probabilistic Semantics

Recommendations

• Title not available (Why is that?) 👍 👎
• Model checking of probabilistic and nondeterministic systems 👍 👎
• Compositional probabilistic verification through multi-objective model checking 👍 👎
• Model Checking Probabilistic Systems 👍 👎
• Towards light-weight probabilistic model checking 👍 👎
• The Probabilistic Model Checking Landscape 👍 👎
• Efficient Probabilistic Model Checking of Systems with Ranged Probabilities 👍 👎

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)