Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Jones:2012,
author = {Jones, AV and Knapik, M and Lomuscio, A and Penczek, W},
journal = {11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track},
pages = {880--887},
title = {Group synthesis for parametric temporal-epistemic logic},
volume = {2},
year = {2012}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - We investigate parameter synthesis in the context of temporal-epistemic logic. We introduce CTLPK, a parametric extension to the branching time temporal-epistemic logic CTLK with free variables representing groups of agents. We give algorithms for automatically synthesising the groups of agents that make a given parametric formula satisfied. We discuss an implementation of the technique on top of the open-source model checker MCMAS and demonstrate its attractiveness by reporting the experimental results obtained. Copyright © 2012, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.
AU - Jones,AV
AU - Knapik,M
AU - Lomuscio,A
AU - Penczek,W
EP - 887
PY - 2012///
SP - 880
TI - Group synthesis for parametric temporal-epistemic logic
T2 - 11th International Conference on Autonomous Agents and Multiagent Systems 2012, AAMAS 2012: Innovative Applications Track
VL - 2
ER -