Improving Mixed-Criticality Scheduling with Reinforcement Learning. - Muhammad El-Mahdy; Nourhan Sakr; Rodrigo Carrasco (CoRR, 2025)