Figure 7From: COMAS: A Cooperative Multiagent Architecture for Spectrum SharingCoverability graph for some states and transitions of Figure 6.Back to article page