Pages that link to "Item:Q5703957"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703957):
Displaying 4 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
