Temporal logic verification of stochastic systems using barrier certificates,

P. Jagtap, S. Soudjani, M. Zamani
September 2018
Preprint PDF Project DOI
Type
Book section
Publication
Automated Technology for Verification and Analysis (ATVA)