Papers
11
Total Citations
204
H-Index
7
About
Rafael H. Bordini is a leading figure in multi-agent systems and agent-oriented programming, with a career spanning foundational theory to cutting-edge applications. His research centers on BDI (Belief-Desire-Intention) agent languages, formal verification, and multi-robot coordination. Bordini’s seminal work on AgentSpeak(XL) (92 citations) revolutionized intention selection by integrating decision-theoretic task scheduling into BDI languages, enabling autonomous agents to efficiently prioritize goals. He has also pioneered the use of blockchain for decentralized task allocation (20 citations) and advanced formal verification of human-robot teamwork (17 citations), with applications in space missions. His recent work on runtime verification for multi-agent systems (RV4JaCa, 2023) addresses safety-critical robotic applications. Bordini’s impact extends to chairing the premier AAMAS conference (2015) and developing GoDonnie, a robot programming language that improves orientation and mobility for visually impaired individuals. With over 200 citations across his most influential papers, Bordini bridges theoretical rigor and real-world impact, from autonomous agents to assistive robotics.
Research Focus
Key Achievements
Top Papers
- 1AgentSpeak(XL)92 citations · 2002
- 2
- 3A Decentralised Approach to Task Allocation Using Blockchain20 citations · 2018
- 4Formal verification of human-robot teamwork17 citations · 2009
- 5
- 6
- 7
- 8Allocating structured tasks in heterogeneous agent teams6 citations · 2018
- 9
- 10An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios2 citations · 2017