TY  - RPRT
TI  - A Barrier Function Approach to Finite-Time Stochastic System Verification and Control
AU  - Cesar Santoyo
AU  - Maxence Dutreix
AU  - Samuel Coogan
PY  - 2019
UR  - https://arxiv.org/abs/1909.05109
ID  - 1909.05109
ER  -