Pages that link to "Item:Q5239247"
From MaRDI portal
The following pages link to StocHy - automated verification and synthesis of stochastic processes (Q5239247):
Displaying 8 items.
- StocHy (Q52639) (← links)
- Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources (Q5054367) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)
