Generating Formal Safety Assurances for High-Dimensional Reachability.
Albert LinSomil BansalPublished in: CoRR (2022)
Keyphrases
- high dimensional
- low dimensional
- state space
- formal specification
- multi modal
- multi dimensional
- dimensionality reduction
- formal model
- similarity search
- high dimensional spaces
- nearest neighbor
- high dimensional data
- automatically generating
- high dimensionality
- high dimensional problems
- transitive closure
- variable selection
- information systems
- data points
- metric space
- sparse coding
- dimension reduction
- query language
- sparse data
- generation process
- feature space
- pattern recognition
- case study