Generating Formal Safety Assurances for High-Dimensional Reachability.
Albert LinSomil BansalPublished in: ICRA (2023)
Keyphrases
- genetic algorithm
- high dimensional
- neural network
- low dimensional
- state space
- sparse data
- feature space
- similarity search
- high dimensional data
- formal specification
- high dimensionality
- nearest neighbor
- multi modal
- dimensionality reduction
- formal model
- high dimensional problems
- metric space
- parameter space
- dimension reduction
- data sets
- manifold learning
- multi dimensional
- pattern recognition
- transitive closure
- automatically generating
- traffic accidents
- real time