Jean Leneutre

Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions

In multi-agent systems, especially in cybersecurity, the dynamic interplay between attackers and defenders is crucial to the security and resilience of the system. Traditional methods often assume static game models and fail to account for the strategic adaptation of the environment to the actions o