Pages that link to "Item:Q3196339"
From MaRDI portal
The following pages link to Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions (Q3196339):
Displaying 8 items.
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources (Q5054367) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- A unified framework for coordination of thermostatically controlled loads (Q6160812) (← links)
- Verification of quantum systems using barrier certificates (Q6546471) (← links)
