The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964): Difference between revisions

@@ Property / author @@
-Franck Van Breugel
@@ Property / author: Franck Van Breugel / rank @@
-Normal rank
@@ Property / author @@
-James Worrell
@@ Property / author: James Worrell / rank @@
-Normal rank
@@ Property / author @@
+Franck Van Breugel
@@ Property / author: Franck Van Breugel / rank @@
+Normal rank
@@ Property / author @@
+James Worrell
@@ Property / author: James Worrell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-06880-0_10
+Normal rank
@@ Property / OpenAlex ID @@
+W199912135
@@ Property / OpenAlex ID: W199912135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3056948
@@ Property / cites work: Q3056948 / rank @@
+Normal rank
@@ Property / cites work @@
+On-the-Fly Exact Computation of Bisimilarity Distances
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348453
@@ Property / cites work: Q4348453 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843720
@@ Property / cites work: Q2843720 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to metric semantics: Operational and denotational models for programming and specification languages
+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 @@
+Recursively defined metric spaces without contraction
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3165951
@@ Property / cites work: Q3165951 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Computing Probabilistic Bisimilarity
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365081
@@ Property / cites work: Q5365081 / rank @@
+Normal rank
@@ Property / cites work @@
+Game Refinement Relations and Metrics
@@ Property / cites work: Game Refinement Relations and Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375489
@@ Property / cites work: Q4375489 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Nash Equilibria and Other Fixed Points
+Normal rank
@@ Property / cites work @@
+Computing Game Metrics on Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q3010463
@@ Property / cites work: Q3010463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731958
@@ Property / cites work: Q3731958 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250845
@@ Property / cites work: Q3250845 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Fractional Stability Problems
@@ Property / cites work: Reducibility among Fractional Stability Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium Points of Bimatrix Games
@@ Property / cites work: Equilibrium Points of Bimatrix Games / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games with Perfect Information and Time Average Payoff
+Normal rank
@@ Property / cites work @@
+Probability and Computing
@@ Property / cites work: Probability and Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the parity argument and other inefficient proofs of existence
+Normal rank
@@ Property / cites work @@
+Q4222961
@@ Property / cites work: Q4222961 / rank @@
+Normal rank
@@ Property / cites work @@
+The Approximation of Fixed Points of a Continuous Mapping
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrices
@@ Property / cites work: Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Modal and temporal properties of processes
@@ Property / cites work: Modal and temporal properties of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4499300
@@ Property / cites work: Q4499300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975934
@@ Property / cites work: Q3975934 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Aspects of Equilibria
@@ Property / cites work: Computational Aspects of Equilibria / rank @@
+Normal rank