activity
20232026
most citedSafe Exit Controllers Synthesis for Continuous-time Stochastic Systems

1 citations · 1 across the 10 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

eess.SY2024

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Bai Xue

This paper investigates necessary and sufficient barrier-like conditions for infinite-horizon safety and reach-avoid verification of stochastic discrete-time systems, derived via a…

eess.SY2024

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Bai Xue

This paper studies finite-time safety and reach-avoid verification for stochastic discrete-time dynamical systems. The aim is to ascertain lower and upper bounds of the probability…