StocHy

swMATH36937MaRDI QIDQ52639FDOQ52639

Author name not available (Why is that?)

Source code repository: https://gitlab.com/natchi92/StocHy

Described by source

• StocHy - automated verification and synthesis of stochastic processes

Cited In (7)

• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
• Formal abstraction and synthesis of parametric stochastic processes
• State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• Automated verification and synthesis of stochastic hybrid systems: a survey
• AMYTISS
• Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources

This page was built for software: StocHy