دورية أكاديمية
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
| العنوان: | Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems |
|---|---|
| المؤلفون: | Dutreix, M., Coogan, S. |
| المصدر: | IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 66(7):2975-2990 Jul, 2021 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 00189286 15582523 23343303 |
|---|---|
| DOI: | 10.1109/TAC.2020.3014142 |