Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
+Normal rank
@@ Property / cites work @@
+On the expressiveness of TPTL and MTL
@@ Property / cites work: On the expressiveness of TPTL and MTL / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient CTMC Model Checking of Linear Real-Time Objectives
+Normal rank
@@ Property / cites work @@
+Convexity recognition of the union of polyhedra
@@ Property / cites work: Convexity recognition of the union of polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Bounded Verification of CTMCs against Real-Time Specifications
+Normal rank
@@ Property / cites work @@
+Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+The deconvolution operation in convex analysis: an introduction
+Normal rank
@@ Property / cites work @@
+A Laplace transform algorithm for the volume of a convex polytope
+Normal rank
@@ Property / cites work @@
+From Mtl to Deterministic Timed Automata
@@ Property / cites work: From Mtl to Deterministic Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Bounded Verification
@@ Property / cites work: Time-Bounded Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+Towards a Theory of Time-Bounded Verification
@@ Property / cites work: Towards a Theory of Time-Bounded Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Lumpability on Markov Chains
@@ Property / cites work: Weighted Lumpability on Markov Chains / rank @@
+Normal rank