Automated adaptation via quantitative partial model checking
Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci · 2016
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 (fixed) condition on the actions to be executed. The provided protocol allows the two agents to automatically agree by iteratively applying QPMC.