Author: Rafael H. Bordini

Publications

Co-authors

Maarten Sierhuis

1

Jorge A. Torres

1

Luciana Porcher Nedel

1

Productive Colleagues

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