220
Views
5
CrossRef citations to date
0
Altmetric
Original Articles

MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEGIES BASED ON COMMON KNOWLEDGE IS UNDECIDABLE

&
Pages 331-348 | Published online: 08 May 2012

Figures & data

FIGURE 1 The initial configuration.

FIGURE 1 The initial configuration.

FIGURE 2 An intermediate configuration (only the states corresponding with two symbols from Σ M are represented here).

FIGURE 2 An intermediate configuration (only the states corresponding with two symbols from Σ M are represented here).

FIGURE 3 The final configuration.

FIGURE 3 The final configuration.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.