12 citations · 13 across the 4 of their papers we have counts for
4 papers
Towards a Framework for Certification of Reliable Autonomous Systems
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier +3
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of suc…
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…