Corrections to "A Method for the Synthesis of Controllers to Handle Safety, Liveness, and Real-Time Constraints" and "Tracking in Clutter with Strongest Neighbor Measurements - Part I: Theoretical Analysis" | IEEE Journals & Magazine | IEEE Xplore