Simulation distances (Q764284): Difference between revisions

@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Q4439589
@@ Property / cites work: Q4439589 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation Distances
@@ Property / cites work: Simulation Distances / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and Closure Properties for Quantitative Languages
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / 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 @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Error Detecting and Error Correcting Codes
@@ Property / cites work: Error Detecting and Error Correcting Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Fair simulation
@@ Property / cites work: Fair simulation / rank @@
+Normal rank
@@ Property / cites work @@
+The Use of Triple-Modular Redundancy to Improve Computer Reliability
+Normal rank
@@ Property / cites work @@
+An introduction to metric semantics: Operational and denotational models for programming and specification languages
+Normal rank
@@ Property / cites work @@
+Approximating and computing behavioural distances in probabilistic transition systems
+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