Pages that link to "Item:Q271706"
From MaRDI portal
The following pages link to Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706):
Displaying 6 items.
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
