Interval Analysis

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Interval Analysis.

• Set inversion — The problem of characterizing all inputs whose image under a function lies in a specified target set.