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)

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

This page was built for software: StocHy