On Abstraction of Probabilistic Systems (Q2937733): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-45489-3_4
+Normal rank
@@ Property / OpenAlex ID @@
+W29485814
@@ Property / OpenAlex ID: W29485814 / rank @@
+Normal rank
@@ Property / cites work @@
+Magnifying-Lens Abstraction for Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+A counterexample-guided abstraction-refinement framework for markov decision processes
+Normal rank
@@ Property / cites work @@
+PRISM-games: A Model Checker for Stochastic Multi-Player Games
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798031
@@ Property / cites work: Q4798031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813198
@@ Property / cites work: Q4813198 / rank @@
+Normal rank
@@ Property / cites work @@
+SMT-Based Bisimulation Minimisation of Markov Models
+Normal rank
@@ Property / cites work @@
+Abstract Probabilistic Automata
@@ Property / cites work: Abstract Probabilistic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
+Normal rank
@@ Property / cites work @@
+The Quest for Minimal Quotients for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Probabilistic Abstraction Refinement
@@ Property / cites work: Variable Probabilistic Abstraction Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples in Probabilistic Model Checking
@@ Property / cites work: Counterexamples in Probabilistic Model Checking / rank @@
+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 @@
+Sliding Window Abstraction for Infinite Markov Chains
+Normal rank
@@ Property / cites work @@
+Probabilistic CEGAR
@@ Property / cites work: Probabilistic CEGAR / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Counterexamples for Discrete-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Three-valued abstraction for probabilistic systems
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Assume-Guarantee Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Best Probabilistic Transformers
@@ Property / cites work: Best Probabilistic Transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Sigref – A Symbolic Bisimulation Tool Box
@@ Property / cites work: Sigref – A Symbolic Bisimulation Tool Box / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Critical Subsystems for Discrete-Time Markov Models
+Normal rank