Model Checking Temporal Logics of Knowledge in Distributed Systems.

Kaile Su

Browse the full AAAI paper archive.