Login / Signup
Probabilistic verification and synthesis of the next generation airborne collision avoidance system.
Christian von Essen
Dimitra 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