Probabilistic Model Checking for Energy-Utility Analysis (Q5418957): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-06880-0_5
+Normal rank
@@ Property / OpenAlex ID @@
+W103082649
@@ Property / OpenAlex ID: W103082649 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Probabilities over Probabilistic and Nondeterministic Systems
+Normal rank
@@ Property / cites work @@
+Performability assessment by model checking of Markov reward models
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Temporal Specifications with Accumulative Values
@@ Property / cites work: Temporal Specifications with Accumulative Values / rank @@
+Normal rank
@@ Property / cites work @@
+One-Counter Stochastic Games
@@ Property / cites work: One-Counter Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating the termination value of one-counter MDPs and stochastic games
+Normal rank
@@ Property / cites work @@
+Energy and Mean-Payoff Parity Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Decision Processes with Multiple Objectives
+Normal rank
@@ Property / cites work @@
+Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
+Normal rank
@@ Property / cites work @@
+Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
+Normal rank
@@ Property / cites work @@
+Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Multi-Objective Model Checking of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Quantitative Multi-objective Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Model checking conditional CSL for continuous-time Markov chains
+Normal rank
@@ Property / cites work @@
+CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q4864760
@@ Property / cites work: Q4864760 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Measure and probability for concurrency theorists
@@ Property / cites work: Measure and probability for concurrency theorists / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Quantiles in Markov Reward Models
@@ Property / cites work: Computing Quantiles in Markov Reward Models / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing Efficient Controllers
@@ Property / cites work: Synthesizing Efficient Controllers / rank @@
+Normal rank