Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke. Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III. Volume 15221 of Lecture Notes in Computer Science, pages 26-47, Springer, 2024. [doi]
Abstract is missing.