Compositional Verification of a Multi-Agent System for One-to-Many Negotiation

F.M. Brazier, F.J. Cornelissen, R. Gustavsson, C.M. Jonker, O. Lindeberg, B. Polak, J. Treur

Research output: Contribution to JournalArticleAcademicpeer-review

159 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Compositional Verification of a Multi-Agent System for One-to-Many Negotiation'. Together they form a unique fingerprint.

Computer Science