The following pages link to (Q4553277):
Displaying 3 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
