2 citations · 3 across the 8 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Almost Sure Reachability in Continuous-time Stochastic Systems
Arash Bahari Kordabad, Rupak Majumdar, Sadegh Soudjani
We provide certificates for almost sure reachability of continuous-time stochastic systems governed by stochastic differential equations (SDEs). We first show that a standard Euler…
eess.SY2025
On Certificates for Almost Sure Reachability in Stochastic Systems
Arash Bahari Kordabad, Rupak Majumdar, Harshit Jitendra Motwani +1
Almost sure reachability refers to the property of a stochastic system whereby, from any initial condition, the system state reaches a given target set with probability one. In thi…