Pages that link to "Item:Q5703957"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703957):
Displaying 5 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)
- (Q5858729) (← links)