Counterexamples in Probabilistic LTL Model Checking for Markov Chains (Q3184702): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04081-8_39
+Normal rank
@@ Property / OpenAlex ID @@
+W2145002677
@@ Property / OpenAlex ID: W2145002677 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Directed Search for Probabilistic Timed Reachability
+Normal rank
@@ Property / cites work @@
+Q5563135
@@ Property / cites work: Q5563135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / 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 @@
+Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking
+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 @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexamples in Probabilistic LTL Model Checking for Markov Chains
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking
+Normal rank