Control Barrier Function-Based Persistent Coverage with Performance Guarantee and Application to Object Search Scenario | IEEE Conference Publication | IEEE Xplore