Rafael H. Bordini

Author: Rafael H. Bordini

Publications

Publication period start: 2003
Number of co-authors: 4

Co-authors

Number of publications with favourite co-authors
Maarten Sierhuis
1
Jorge A. Torres
1
Luciana Porcher Nedel
1

Productive Colleagues

Most productive colleagues in number of publications
Jorge A. Torres
1
Maarten Sierhuis
7
Luciana Porcher Nedel
7

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