Pages that link to "Item:Q271706"

The following pages link to Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706):

Displayed 7 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)
• Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) ‎ (← links)
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) ‎ (← links)