Formal Specification of Multi-agent Systems by Using EUSMs

DOI10.1007/978-3-540-75698-9_21zbMath1141.68478OpenAlexW4210507990MaRDI QIDQ3508535

Mercedes G. Merayo, Ismael Rodríguez, Manuel A. Nunez

Publication date: 1 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://eprints.ucm.es/15789/1/20.pdf

zbMATH Keywords

autonomous agentse-commerceFormal specification of multi-agent systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Utility theory (91B16) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

FSP and FLTL framework for specification and verification of middle-agents

Uses Software

• AgentSpeak

This page was built for publication: Formal Specification of Multi-agent Systems by Using EUSMs