Pages that link to "Item:Q2912766"
From MaRDI portal
The following pages link to Taking It to the Limit: Approximate Reasoning for Markov Processes (Q2912766):
Displaying 8 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
