Probabilistic model checking for energy-utility analysis
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Continuous-time Markov processes on general state spaces (60J25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
- Trade-off analysis meets probabilistic model checking
- Exact quantitative probabilistic model checking through rational search
- Energy-utility analysis for resilient systems using probabilistic model checking
- Model checking probabilistic systems
- Using probabilistic model checking for dynamic power management
- Approximating the termination value of one-counter MDPs and stochastic games
- Automata, logics, and infinite games. A guide to current research
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Computing quantiles in Markov reward models
- Conditional Probabilities over Probabilistic and Nondeterministic Systems
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
- Energy and Mean-Payoff Parity Markov Decision Processes
- Energy parity games
- Energy-utility analysis for resilient systems using probabilistic model checking
- Foundations of Software Science and Computational Structures
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 846904 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Markov Decision Processes with Multiple Objectives
- Measure and probability for concurrency theorists
- Model checking conditional CSL for continuous-time Markov chains
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- Model checking of probabilistic and nondeterministic systems
- Multi-Objective Model Checking of Markov Decision Processes
- One-counter stochastic games
- Performability assessment by model checking of Markov reward models
- Quantitative multi-objective verification for probabilistic systems
- Synthesizing efficient controllers
- Temporal specifications with accumulative values
- Probabilistic verification of hierarchical leader election protocol in dynamic systems
- Using probabilistic model checking for dynamic power management
- Nearly optimal verifiable data streaming
- Ratio and weight quantiles
- Maximizing the conditional expected reward for reaching the goal
- Evaluating probabilistic model checking tools for verification of robot control policies
- Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
- Energy-utility analysis for resilient systems using probabilistic model checking
- On Skolem-hardness and saturation points in Markov decision processes
This page was built for publication: Probabilistic model checking for energy-utility analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5418957)
