Probabilistic non-determinism
Handbook of logic in computer science (vol. 3)
Generalized metric spaces: completion, topology, and power domains via the Yoneda embedding
Theoretical Computer Science
On the Yoneda completion of a quasi-metric space
Theoretical Computer Science
The Metric Analogue of Weak Bisimulation for Probabilistic Processes
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Stably Compact Spaces and the Probabilistic Powerspace construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Prevision domains and convex powercones
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Continuous capacities on continuous state spaces
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
De groot duality and models of choice: Angels, demons and nature†
Mathematical Structures in Computer Science
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM Journal on Computing
Approximating Markov Processes by Averaging
Journal of the ACM (JACM)
| Hi-index | 0.00 |
We investigate simulation hemi-metrics between certain forms of turn-based 21/2-player games played on infinite topological spaces. They have the desirable property of bounding the difference in payoffs obtained by starting from one state or another. All constructions are described as the special case of a unique one, which we call the Hutchinson hemi-metric on various spaces of continuous previsions. We show a directed form of the Kantorovich-Rubinstein theorem, stating that the Hutchinson hemi-metric on spaces of continuous probability valuations coincides with a notion of trans-shipment hemi-metric. We also identify the class of so-called sym-compact spaces as the right class of topological spaces, where the theory works out as nicely as possible.