StocHy
From MaRDI portal
Software:52639
No author found.
Source code repository: https://gitlab.com/natchi92/StocHy
Related Items (7)
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings ⋮ Formal abstraction and synthesis of parametric stochastic processes ⋮ Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ AMYTISS ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
This page was built for software: StocHy
