TY  - RPRT
TI  - Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions
AU  - Cesar Santoyo
AU  - Maxence Dutreix
AU  - Samuel Coogan
PY  - 2019
UR  - https://arxiv.org/abs/1905.12077
ID  - 1905.12077
ER  -