Lúcio S. Passos

Learn More
Diagnosing unwanted behaviour in Multi-Agent Systems (MASs) is crucial to ascertain agents' correct operation. However, generation of MAS models is both error-prone and time intense, as it exponentially increases with the number of agents and their interactions. In this paper, we propose a lightweight , automatic debugging-based technique , coined ESFL-MAS,(More)
  • 1