Picture for Catalin Dima

Catalin Dima

Model Checking Strategic Abilities in Information-sharing Systems

Add code
Apr 19, 2022
Figure 1 for Model Checking Strategic Abilities in Information-sharing Systems
Viaarxiv icon