Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.
Simon FosterMario GleirscherRadu CalinescuPublished in: ICECCS (2020)
Keyphrases
- orders of magnitude
- computational complexity
- cooperative
- autonomous vehicles
- benchmark datasets
- theoretical analysis
- computationally efficient
- computational cost
- significant improvement
- recently developed
- mobile robot
- learning algorithm
- evolutionary algorithm
- lower bound
- data structure
- face recognition
- feature selection