Rationality Verification

Rationality Verification

This project is to verify properties related to agents' rationality in a multiagent system.

Project ID: 1738577