9 citations · 31 across the 12 of their papers we have counts for
1 paper · 1 filter
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…