Rafael H. Bordini

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2003
Publication period end
2009
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. http://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. http://link.springer.de/link/service/series/0558/bibs/2792/27920197.htm