Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Margaria, Tiziana; Steffen, Bernhard
Book title: Leveraging Applications of Formal Methods, Verification and Validation (Volume 15221)
Page range: 26-47
Publisher: Springer
Place of publication: Crete
Title of series: Lecture Notes in Computer Science
Status: Published
Release year: 2025
Conference: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. ISoLA 2024, Crete, Greece
Link to the full text: http://dx.doi.org/10.1007/978-3-031-75380-0_3
Keywords: Cyber-Physical Systems; Contracts; Quantitative Safety
Authors from the University of Münster
| Blohm, Pauline Anne | |
| Herber, Paula | |
| Remke, Anne |