Knowledge, awareness, and bisimulation.

Hans van Ditmarsch, Tim French, Fernando R. Velzquez-Quesada, Y N. Wng

Browse the full TARK paper archive.