Steven Shapiro Books
Specifying and verifying multiagent systems using the cognitive agents specification language (CASL).
In this thesis, we introduce a specification language (CASL) and verification environment (CASLve) for multiagent systems. We use the situation calculus [52] with Reiter's solution to the frame pro...
Read More