Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Rationality Verification

Project information

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

Created on

September 26, 2016

All
Wiki
Team