Diagnosing Faults in a Temporal Multi-Agent Resource Allocation (Extended Abstract)AbstractYedidya Bar-Zev