Stochastic Games for Verification of Probabilistic Timed Automata (Q3648833): Difference between revisions

@@ Property / cites work @@
+On probabilistic timed automata.
@@ Property / cites work: On probabilistic timed automata. / 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 @@
+Automatic Abstraction Refinement for Timed Automata
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Abstraction Refinement for Probabilistic Software
@@ Property / cites work: Abstraction Refinement for Probabilistic Software / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games for Verification of Probabilistic Timed Automata
+Normal rank
@@ Property / cites work @@
+Performance analysis of probabilistic timed automata using digital clocks
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Checking timed Büchi automata emptiness efficiently
+Normal rank