Verification of switched stochastic systems via barrier certificates

M. Anand*, P. Jagtap*, M. Zamani
December 2019
PDF Project DOI
Type
Conference paper
Publication
The 58th IEEE Conference on Decision and Control (CDC) (* equally contributed)