Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee. Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. In 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. pages 92-103, IEEE, 2022. [doi]
Abstract is missing.