Set-Based Assumption-Guarantee Reasoning for Handling Uncertainty in Functionality and Safety Verification of Dynamic Systems

Lecture notes in computer science 2026 Open access

Read full text
Authors: Friederike Bruns, Andreas Rauh, Mohamed Fnadi
DOI: 10.1007/978-3-032-16855-9_14
Cited by: 2
References: 49

Fields of Study & Subjects

Formal Methods in Verification Safety Systems Engineering in Autonomy Logic Reasoning and Knowledge

Publication details

Journal / source
Lecture notes in computer science
Publisher
Springer Nature Switzerland
Pages
320–347
Publication date
1 January 2026
Language
EN