ProbReach
From MaRDI portal
swMATH20157MaRDI QIDQ31979FDOQ31979
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?doid=2728606.2728625
Cited In (19)
- ProbabilityBoundsAnalysis.jl
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
- Automated verification and synthesis of stochastic hybrid systems: a survey
- SCOTS
- SReach
- FAUST2
- TaylorSeries.jl
- pFaces
- SReachTools
- TIRA
- AMYTISS
- AMYTISS
- StocHy
- helperOC
- ERAN
- Lazysets.jl
- Safety Gym
- SeDuMi Interface
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
This page was built for software: ProbReach
