Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (Q5175773): Difference between revisions

@@ Property / describes a project that uses @@
+COMICS
@@ Property / describes a project that uses: COMICS / 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 @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CEGAR
@@ Property / describes a project that uses: CEGAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DiPro
@@ Property / describes a project that uses: DiPro / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIP
@@ Property / describes a project that uses: SCIP / 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-07317-0_3
+Normal rank
@@ Property / OpenAlex ID @@
+W103774727
@@ Property / OpenAlex ID: W103774727 / rank @@
+Normal rank
@@ Property / cites work @@
+The Birth of Model Checking
@@ Property / cites work: The Birth of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / 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 @@
+Extended Directed Search for Probabilistic Timed Reachability
+Normal rank
@@ Property / cites work @@
+Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+A counterexample-guided abstraction-refinement framework for markov decision processes
+Normal rank
@@ Property / cites work @@
+Minimal Critical Subsystems for Discrete-Time Markov Models
+Normal rank
@@ Property / cites work @@
+Hierarchical Counterexamples for Discrete-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+A linear process-algebraic format with data for probabilistic automata
+Normal rank
@@ Property / cites work @@
+Probabilistic CEGAR
@@ Property / cites work: Probabilistic CEGAR / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 -- June 2, 2007. Advanced lectures
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding the k Shortest Paths
@@ Property / cites work: Finding the k Shortest Paths / rank @@
+Normal rank
@@ Property / cites work @@
+K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths
+Normal rank
@@ Property / cites work @@
+A note on two problems in connexion with graphs
@@ Property / cites work: A note on two problems in connexion with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Obtaining shorter regular expressions from finite-state automata
+Normal rank
@@ Property / cites work @@
+Causes and Explanations: A Structural-Model Approach. Part I: Causes
+Normal rank
@@ Property / cites work @@
+Q5715677
@@ Property / cites work: Q5715677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic processes
+Normal rank
@@ Property / cites work @@
+SCIP: solving constraint integer programs
@@ Property / cites work: SCIP: solving constraint integer programs / rank @@
+Normal rank