Concurrent Tracking and Detection of Slowly Moving Targets using Dynamic Logic | IEEE Conference Publication | IEEE Xplore