Susmoy Das, Arpit Sharma 0002. A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems. In Jiman Hong, Juw Won Park, editors, Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024, Avila, Spain, April 8-12, 2024. pages 1712-1721, ACM, 2024. [doi]
Abstract is missing.