Formal Analysis of k-Resiliency for Collaborative UAVs Conference

Jakaria, AHM, Rahman, Mohammad Ashiqur. (2018). Formal Analysis of k-Resiliency for Collaborative UAVs . 583-592. 10.1109/COMPSAC.2018.00089

cited authors

  • Jakaria, AHM; Rahman, Mohammad Ashiqur

authors

date/time interval

  • July 23, 2018 -

publication date

  • January 1, 2018

keywords

  • Collaborative UAV
  • Computer Science
  • Computer Science, Interdisciplinary Applications
  • Computer Science, Software Engineering
  • Science & Technology
  • Technology
  • UAV network
  • UAV swarm
  • formal modeling
  • resiliency verification

Location

  • JAPAN, Tokyo

Digital Object Identifier (DOI)

Conference

  • 42nd Annual IEEE-Computer-Society Computers, Software and Applications (COMPSAC) Conference - Staying Smarter in a Smartening World

publisher

  • IEEE COMPUTER SOC

start page

  • 583

end page

  • 592