9 citations · 39 across the 15 of their papers we have counts for
1 paper · 2 filters
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
We propose a methodology to address two analysis problems concerning complex systems, namely bounding state functionals of stochastic differential equations (SDEs) and verifying se…