Login / Signup

Probabilistic verification and synthesis of the next generation airborne collision avoidance system.

Christian von EssenDimitra Giannakopoulou
Published in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
  • collision avoidance
  • path planning
  • mobile robot
  • visual navigation
  • dynamic environments
  • probabilistic model
  • infrared
  • path finding
  • model checking
  • fuzzy neural network
  • robot motion
  • neural network
  • machine learning