Using modal logic in mobile robots by J. van Diggelen