Weak bisimulation metrics in models with nondeterminism and continuous state spaces

DOI10.1007/978-3-030-02508-3_16OpenAlexW2896294417MaRDI QIDQ1623141

Simone Tini, Ruggero Lanotte

Publication date: 23 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_16

zbMATH Keywords

nondeterminismcontinuous state spaceweak bisimulation metric

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (4)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ The metric linear-time branching-time spectrum on nondeterministic probabilistic processes ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ A probabilistic calculus of cyber-physical systems

This page was built for publication: Weak bisimulation metrics in models with nondeterminism and continuous state spaces