Inferring Interval-Valued Floating-Point Preconditions.
Jonas KrämerLionel BlatterEva DarulovaMattias UlbrichPublished in: TACAS (1) (2022)
Keyphrases
- floating point
- interval valued
- real valued
- fuzzy sets
- partially ordered
- group decision making
- representation scheme
- intuitionistic fuzzy sets
- fixed point
- interval valued fuzzy sets
- aggregation operators
- score function
- instruction set
- interval valued fuzzy
- fuzzy set theory
- floating point arithmetic
- fuzzy numbers
- machine learning
- partial order
- decision problems
- sufficient conditions
- computational intelligence
- state space
- artificial neural networks
- data analysis
- pattern recognition
- image processing