In this paper, we describe a framework for specifying, simulating and verifying negotiation protocols following an agent-based approach. Most of the components of this framework have already been implemented and tested, whereas verification facilities using temporal logic, which are the most innovative aspect of this proposal, are being designed at the time of writing.
Briola, D., M, M., & Mascardi, V. (2010). Specification, simulation and verification of negotiation protocols in a unified agent-based framework. In Proceedings of 12th Italian Conference on Theoretical Computer Science, ICTCS2010 (pp.1-4).
Citazione: | Briola, D., M, M., & Mascardi, V. (2010). Specification, simulation and verification of negotiation protocols in a unified agent-based framework. In Proceedings of 12th Italian Conference on Theoretical Computer Science, ICTCS2010 (pp.1-4). | |
Tipo: | paper | |
Carattere della pubblicazione: | Scientifica | |
Presenza di un coautore afferente ad Istituzioni straniere: | No | |
Titolo: | Specification, simulation and verification of negotiation protocols in a unified agent-based framework | |
Autori: | Briola, D; M, M; Mascardi, V | |
Autori: | ||
Data di pubblicazione: | 2010 | |
Lingua: | English | |
Nome del convegno: | ICTCS2010 Italian Conference on Theoretical Computer Science (ICTCS) | |
Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.