Completely decentralised Navigation Functions for agents with finite sensing regions with application in aircraft conflict resolution | IEEE Conference Publication | IEEE Xplore