Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.
Yanni KouskoulasRosa WuJoshua BruléDaniel GeninAurora C. SchmidtThyago J. MachadoPublished in: NFM (2021)
Keyphrases
- learning algorithm
- experimental evaluation
- detection algorithm
- theoretical analysis
- preprocessing
- cost function
- times faster
- matching algorithm
- k means
- significant improvement
- worst case
- linear programming
- clustering method
- computationally efficient
- objective function
- neural network
- improved algorithm
- recognition algorithm
- selection algorithm
- data sets
- classification algorithm
- optimization algorithm
- input data
- computational cost
- dynamic programming
- multi objective
- search space
- high dimensional
- optimal solution