Cooperation, Knowledge, and Time

Hoek, W. v. d., & Wooldridge, M. (2003). Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications.

Type

Unclassified

Intellectual base

Unclassified

Year

2003

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Alternating-time temporal logic
  • … a convenient observable transfers from ⟨⟨{a,b}⟩⟩F p says agents a and b have a joint strategy ensuring that p eventually holds no matter what all other agents do. to A protocol model checker asks whether a set of controllers can force safety and eventual service against an environment modeled as adversarial agents..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:0648e4ef2814 · see in the full table