Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.
Sheng-Jung YuInigo IncerAlberto L. Sangiovanni-VincentelliPublished in: MEMOCODE (2023)
Keyphrases
- physical systems
- reasoning about physical systems
- complex systems
- qualitative and quantitative
- model based diagnosis
- qualitative models
- causal models
- fault isolation
- object recognition
- image analysis
- ground truth
- computational intelligence
- image understanding
- computer vision
- dynamic systems
- temporal reasoning
- computational complexity
- search algorithm