Quantifying Behavioral Differences in Continuous-Time Diffusion Processes

This work presents two pseudometrics that quantify the behavioral differences between continuous-time diffusion processes, which evolve continuously over time rather than in discrete steps. The pseudometrics are defined as fixpoints of two different functionals and are characterized by corresponding real-valued modal logics.