Model Checking Probabilistic Systems (Q3176386): Difference between revisions

@@ Property / author @@
-Christel Baier
@@ Property / author: Christel Baier / rank @@
-Normal rank
@@ Property / author @@
+Christel Baier
@@ Property / author: Christel Baier / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PARAM
@@ Property / describes a project that uses: PARAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rabinizer
@@ Property / describes a project that uses: Rabinizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bio-PEPA
@@ Property / describes a project that uses: Bio-PEPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProbDiVinE
@@ Property / describes a project that uses: ProbDiVinE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LiQuor
@@ Property / describes a project that uses: LiQuor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PASS
@@ Property / describes a project that uses: PASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MoDeST
@@ Property / describes a project that uses: MoDeST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rapture
@@ Property / describes a project that uses: Rapture / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-10575-8_28
+Normal rank
@@ Property / OpenAlex ID @@
+W2803993242
@@ Property / OpenAlex ID: W2803993242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536611
@@ Property / cites work: Q4536611 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3394898
@@ Property / cites work: Q3394898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518905
@@ Property / cites work: Q4518905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943605
@@ Property / cites work: Q4943605 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic processes
+Normal rank
@@ Property / cites work @@
+Model Checking Linear-Time Properties of Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4673428
@@ Property / cites work: Q4673428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5137353
@@ Property / cites work: Q5137353 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Comparison of LTL to Deterministic Rabin Automata Translators
+Normal rank
@@ Property / cites work @@
+Q4217271
@@ Property / cites work: Q4217271 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Markov Decision Processes Using Learning Algorithms
+Normal rank
@@ Property / cites work @@
+Analyzing probabilistic pushdown automata
@@ Property / cites work: Analyzing probabilistic pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
+Normal rank
@@ Property / cites work @@
+Verification of Open Interactive Markov Chains
@@ Property / cites work: Verification of Open Interactive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Decision Processes with Multiple Objectives
+Normal rank
@@ Property / cites work @@
+Automatic verification of competitive stochastic systems
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: A framework for the modelling and analysis of biological systems
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
+Normal rank
@@ Property / cites work @@
+Abstract Probabilistic Automata
@@ Property / cites work: Abstract Probabilistic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+From LTL to deterministic automata. A safraless compositional approach
+Normal rank
@@ Property / cites work @@
+Multi-Objective Model Checking of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Model Checking of Recursive Probabilistic Systems
@@ Property / cites work: Model Checking of Recursive Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5798359
@@ Property / cites work: Q5798359 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Multi-objective Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic model checking of complex biological pathways
+Normal rank
@@ Property / cites work @@
+The How and Why of Interactive Markov Chains
@@ Property / cites work: The How and Why of Interactive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic guarded commands mechanized in HOL
@@ Property / cites work: Probabilistic guarded commands mechanized in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry breaking in distributed networks
@@ Property / cites work: Symmetry breaking in distributed networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000282
@@ Property / cites work: Q4000282 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction Refinement for Probabilistic Software
@@ Property / cites work: Abstraction Refinement for Probabilistic Software / rank @@
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q3262596
@@ Property / cites work: Q3262596 / rank @@
+Normal rank
@@ Property / cites work @@
+Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
+Normal rank
@@ Property / cites work @@
+Q4864760
@@ Property / cites work: Q4864760 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Stochastic Games for Verification of Probabilistic Timed Automata
+Normal rank
@@ Property / cites work @@
+Assume-Guarantee Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Compositional probabilistic verification through multi-objective model checking
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Q4813204
@@ Property / cites work: Q4813204 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813209
@@ Property / cites work: Q4813209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Modal μ-Calculus with Independent Product
+Normal rank
@@ Property / cites work @@
+Using probabilistic model checking for dynamic power management
+Normal rank
@@ Property / cites work @@
+Model checking for probabilistic timed automata
@@ Property / cites work: Model checking for probabilistic timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of multiprocess probabilistic protocols
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial optimization. Polyhedra and efficiency (3 volumes)
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Simulations on Probabilistic Automata
@@ Property / cites work: Deciding Simulations on Probabilistic Automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3176386