Pareto Curves for Probabilistic Model Checking
From MaRDI portal
Publication:4649306
DOI10.1007/978-3-642-33386-6_25zbMath1374.68285arXiv1206.6295OpenAlexW16586245MaRDI QIDQ4649306
No author found.
Publication date: 21 November 2012
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1206.6295
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Simple Strategies in Multi-Objective MDPs, Compositional strategy synthesis for stochastic games with multiple objectives, Markov automata with multiple objectives, Trading performance for stability in Markov decision processes, Compositional probabilistic verification through multi-objective model checking, Minimization of probabilistic models of programs, Multi-cost bounded tradeoff analysis in MDP, Sequential Convex Programming for the Efficient Verification of Parametric MDPs, Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies, Deniable Functional Encryption, Multi-objective optimization of long-run average and total rewards, A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
Uses Software