SReach
From MaRDI portal
swMATH20158MaRDI QIDQ31980FDOQ31980
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-319-23401-4_3
Cited In (18)
- Monitoring bounded LTL properties using interval analysis
- Automated verification and synthesis of stochastic hybrid systems: a survey
- TACO
- BFComp
- ProbReach
- FAUST2
- pFaces
- SReachTools
- TIRA
- CRN++
- AMYTISS
- AMYTISS
- StocHy
- DynAlloy
- ERAN
- GoTube
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
This page was built for software: SReach
