Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events.

Jonghun Park, Spyros A. Reveliotis

Browse the full ICRA paper archive.