36 search results - page 8 / 8 » Towards Automated Proof Support for Probabilistic Distribute... |
138
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract The emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges for ar...