• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System.

Benjamin VedderJonny VinterMagnus Jonsson
Published in: DSN Workshops (2015)
Keyphrases
  • collision avoidance
  • fault injection
  • path planning
  • java card
  • fault model
  • dynamic environments
  • mobile robot
  • visual navigation
  • path finding
  • smart card
  • fuzzy neural network
  • mathematical model
  • data flow
  • static analysis