Modelling Control Arguments via Cooperation Logic in Unforeseen Scenarios

Open in new window