Quantitative Verification of Scheduling Heuristics.

Sun, 01 Jan 2023 00:00:00 +0100

Saksham Goel, Benjamin Mikek, Jehad Aly, Venkat Arun, Ahmed Saeed, Aditya Akella:
Quantitative Verification of Scheduling Heuristics. CoRR abs/2301.04205 (2023)