Search filters

List of works by Rafael H Bordini

COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

Model checking agent programming languages

scientific article published on 24 May 2011

Using BDI agents to improve driver modelling in a commuter scenario

scientific article published in October 2002

Verifying Multi-agent Programs by Model Checking

scientific article published on 24 February 2006

Paulina is supported by:

About Paulina

Help