bn:24099271n
Noun Concept
Categories: Model checking, Convex geometry, Polytopes, Data structures
EN
region
EN
In model checking, a field of computer science, a region is a convex polytope in R d {\displaystyle \mathbb {R} ^{d}} for some dimension d {\displaystyle d}, and more precisely a zone, satisfying some minimality property. Wikipedia
English:
model checking
Definitions
Sources
EN
In model checking, a field of computer science, a region is a convex polytope in R d {\displaystyle \mathbb {R} ^{d}} for some dimension d {\displaystyle d}, and more precisely a zone, satisfying some minimality property. Wikipedia
A convex polytope data structure Wikipedia Disambiguation
Wikidata
EN
Wikipedia Redirections