Ground micro-gravity verification of free-floating non-cooperative satellite docking.
Haitao YangMinghe JinZongwu XieYu ZhangKui SunXiaoyu ZhaoPublished in: AIM (2015)
Keyphrases
- cooperative
- multi agent systems
- remote sensing
- formal verification
- model checking
- formal analysis
- multi agent
- neural network
- artificial intelligence
- distributed problem solving
- face verification
- game theory
- cooperative behavior
- image processing
- change detection
- formal methods
- databases
- reinforcement learning
- multiscale
- definite clause
- satellite data
- air combat