12 citations · 24 across the 5 of their papers we have counts for
5 papers
A Scoresheet for Explainable AI
Michael Winikoff, John Thangarajah, Sebastian Rodriguez
Explainability is important for the transparency of autonomous and intelligent systems and for helping to support the development of appropriate levels of trust. There has been con…
Towards Deriving Verification Properties
Michael Winikoff
Formal software verification uses mathematical techniques to establish that software has certain properties. For example, that the behaviour of a software system satisfies certain…
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach
Angelo Ferrando, Michael Winikoff, Stephen Cranefield +2
Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce iss…
Extending Agents by Transmitting Protocols in Open Systems
Lavindra de Silva, Michael Winikoff, Wei Liu
Agents in an open system communicate using interaction protocols. Suppose that we have a system of agents and that we want to add a new protocol that all (or some) agents should be…
Challenges and Directions for Engineering Multi-agent Systems
Michael Winikoff
In this talk I review where we stand regarding the engineering of multi-agent systems. There is both good news and bad news. The good news is that over the past decade we've made c…