Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.
Simon FosterMario GleirscherRadu CalinescuPublished in: CoRR (2020)
Keyphrases
- computational cost
- orders of magnitude
- autonomous vehicles
- optimization problems
- theoretical analysis
- control strategy
- real time
- learning algorithm
- computational complexity
- robotic systems
- computationally efficient
- benchmark datasets
- semi autonomous
- control strategies
- control method
- combinatorial optimization
- significant improvement
- control system
- cooperative
- data structure
- neural network