Q5856412 (Q5856412): Difference between revisions

@@ Property / author @@
-Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
-Normal rank
@@ Property / author @@
-Franck Van Breugel
@@ Property / author: Franck Van Breugel / rank @@
-Normal rank
@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
+Normal rank
@@ Property / author @@
+Franck Van Breugel
@@ Property / author: Franck Van Breugel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On-the-Fly Exact Computation of Bisimilarity Distances
+Normal rank
@@ Property / cites work @@
+Converging from branching to linear metrics on Markov chains
+Normal rank
@@ Property / cites work @@
+Q5111436
@@ Property / cites work: Q5111436 / rank @@
+Normal rank
@@ Property / cites work @@
+On the metric-based approximate minimization of Markov chains
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Game Metrics
@@ Property / cites work: Algorithms for Game Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Game Metrics
@@ Property / cites work: Algorithms for Game Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+On metrics for probabilistic systems: definitions and algorithms
+Normal rank
@@ Property / cites work @@
+Q4287357
@@ Property / cites work: Q4287357 / 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 @@
+On the Complexity of Computing Probabilistic Bisimilarity
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111437
@@ Property / cites work: Q5111437 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Game Metrics on Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q3166196
@@ Property / cites work: Q3166196 / rank @@
+Normal rank
@@ Property / cites work @@
+A strongly polynomial algorithm for the transportation problem
+Normal rank
@@ Property / cites work @@
+Stochastic Games with Perfect Information and Time Average Payoff
+Normal rank
@@ Property / cites work @@
+On the equivalence of game and denotational semantics for the probabilistic mu-calculus
+Normal rank
@@ Property / cites work @@
+On the simplex algorithm for networks and generalized networks
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693067
@@ Property / cites work: Q4693067 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Probabilistic Bisimilarity Distances via Policy Iteration
+Normal rank
@@ Property / cites work @@
+Deciding probabilistic bisimilarity distance one for probabilistic automata
+Normal rank
@@ Property / cites work @@
+On behavioural pseudometrics and closure ordinals
@@ Property / cites work: On behavioural pseudometrics and closure ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5856412