research
∙
01/24/2020
Towards a Framework for Certification of Reliable Autonomous Systems
A computational system is called autonomous if it is able to make its ow...
share
research
∙
03/11/2019
Towards Deriving Verification Properties
Formal software verification uses mathematical techniques to establish t...
research
∙
02/04/2019
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach
Interactions between agents are usually designed from a global viewpoint...
research
∙
02/04/2019
On Enactability and Monitorability of Agent Interaction Protocols
Interactions between agents are usually designed from a global viewpoint...
research
∙
03/03/2014