Liveness-Enforcing Supervision of Sequential Resource Allocation Systems Liveness-Enforcing Supervision of Sequential Resource Allocation Systems Spyros Reveliotis School…