Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions.

Cesar Santoyo Maxence Dutreix Samuel Coogan

Published in: CCTA (2019)

Keyphrases

stochastic systems
conservation laws
control system
optimal control
confidence intervals
test set
finite number