Model checking for probabilistic timed automata (Q2248072): Difference between revisions

@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal paths in weighted timed automata
@@ Property / cites work: Optimal paths in weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the inverse method to probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965815
@@ Property / cites work: Q4965815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5137353
@@ Property / cites work: Q5137353 / rank @@
+Normal rank
@@ Property / cites work @@
+On probabilistic timed automata.
@@ Property / cites work: On probabilistic timed automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
+Normal rank
@@ Property / cites work @@
+Q2763979
@@ Property / cites work: Q2763979 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Q4418686
@@ Property / cites work: Q4418686 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal infinite scheduling for multi-priced timed automata
+Normal rank
@@ Property / cites work @@
+Q5437180
@@ Property / cites work: Q5437180 / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+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 @@
+What good are digital clocks?
@@ Property / cites work: What good are digital clocks? / rank @@
+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 @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Concavely-Priced Probabilistic Timed Automata
@@ Property / cites work: Concavely-Priced Probabilistic Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Timed Automata with One or Two Clocks
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965870
@@ Property / cites work: Q4965870 / 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 @@
+Q4536598
@@ Property / cites work: Q4536598 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Q2849849
@@ Property / cites work: Q2849849 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Time-abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Strict Divergence for Probabilistic Timed Automata
+Normal rank
@@ Property / cites work @@
+Checking timed Büchi automata emptiness efficiently
+Normal rank