Formal synthesis of stochastic systems via control barrier certificates

P. Jagtap, S. Soudjani, M. Zamani
March 2020
Preprint PDF Project DOI
Type
Journal article
Publication
IEEE Transactions on Automatic Control(TAC)