StocHy

MaRDI QIDQ52639swMATHFDO

Official website https://arxiv.org/abs/1901.10287

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

Described by source

• StocHy - automated verification and synthesis of stochastic processes

Cited in

(22)

• Formal abstraction and synthesis of parametric stochastic processes
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
• State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
• Model-based formal reliability analysis of grid dynamics with solar energy sources
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• Automated verification and synthesis of stochastic hybrid systems: a survey
• ProbReach
• SCOTS
• SReach
• FAUST2
• pFaces
• SReachTools
• AMYTISS
• Jani
• FaSTrack
• helperOC
• SeDuMi Interface
• AMYTISS
• Lang2LTL
• DeepSynth
• Safety Gym
• MoChiBA

This page was built for software: StocHy