StocHy

swMATH36937MaRDI QIDQ52639FDOQ52639

Author name not available (Why is that?)

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)

• Lang2LTL
• 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
• 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
• AMYTISS
• Jani
• FaSTrack
• helperOC
• DeepSynth
• Safety Gym
• SeDuMi Interface
• MoChiBA

This page was built for software: StocHy