Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems

Y. Meng, J. Liu
September, 2022
PDF Cite Project DOI
Type
Conference paper
Publication
In 2022 Formal Modeling and Analysis of Timed Systems International Conference (FORMATS)