Optimal Checkpoint Interval with Availability as an Objective Function. - Nirmal R. Saxena; Saurabh Hukerikar; Mikolaj Blaz; Swapna Raj (CoRR, 2024)