Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL (Q1395428): Difference between revisions

@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+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 @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic, angelic and unbounded probabilistic choices in sequential programs
+Normal rank
@@ Property / cites work @@
+Q4370249
@@ Property / cites work: Q4370249 / rank @@
+Normal rank
@@ Property / cites work @@
+An expectation-transformer model for probabilistic temporal logic
+Normal rank
@@ Property / cites work @@
+Probabilistic verification
@@ Property / cites work: Probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Probabilistic Programs
@@ Property / cites work: Verification of Probabilistic Programs / rank @@
+Normal rank