Model Checking Strategic Abilities in Information-sharing Systems

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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: