Author: Rafael H. Bordini
Publication Overview
Publication period start: 2003
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Bordini,
Rafael H.,
Fisher,
Michael,
Sierhuis,
Maarten
(2009):
Formal verification of human-robot teamwork.
In:
Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction
,
2009,
.
pp. 267-268.
https://doi.acm.org/10.1145/1514095.1514169
Torres,
Jorge A.,
Nedel,
Luciana Porcher,
Bordini,
Rafael H.
(2003):
Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds.
In:
Rist,
Thomas,
Aylett,
Ruth,
Ballin,
Daniel,
Rickel,
Jeff
(eds.)
IVA 2003 - Intelligent Agents - 4th International Workshop
September 15-17,
2003,
Kloster Irsee, Germany.
pp. 197-201.
https://link.springer.de/link/service/series/0558/bibs/2792/27920197.htm