Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime. - Melika Dastranj; Mehran Alidoost Nia; Mehdi Kargahi (CoRR, 2021)