Verifying Systems of Resource-Bounded Agents.

Natasha Alechina, Brian Logan

Browse the full CiE paper archive.