Completely decentralised Navigation Functions for agents with finite sensing regions with application in aircraft conflict resolution.