Picture for Ioana Boureanu

Ioana Boureanu

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