Login / Signup

Formal Analysis of k-Resiliency for Collaborative UAVs.

A. H. M. JakariaMohammad Ashiqur Rahman
Published in: COMPSAC (1) (2018)
Keyphrases
  • formal analysis
  • formal methods
  • ban logic
  • unmanned aerial vehicles
  • databases
  • path planning
  • agent model
  • geographically dispersed
  • collaborative learning
  • dynamic environments
  • artificial intelligence
  • multi user