IIT Home Page CNR Home Page

Automated adaptation via quantitative partial model checking.

We propose a formal framework to model an automated adaptation protocol based on Quantitative Partial Model Checking (QPMC). An agent seeks the collaboration of a second agent to satisfy some ( xed) condition on the actions to be executed. The provided protocol allows the two agents to automatically agree by iteratively applying QPMC.


SAC 2016, Pisa, 2016

External authors: Stefano Bistarelli (Università di Perugia), Francesco Santini (Università di Perugia)
IIT authors:

Type: Contributo in atti di convegno
Field of reference: Information Technology and Communication Systems

File: main.pdf

Activity: Architetture, protocolli e meccanismi di sicurezza per sistemi e servizi distribuiti