Edinburgh Research Explorer

Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the Third European Workshop on Multi-agent Systems
Pages248-259
Number of pages12
Publication statusPublished - 2005

ID: 3506236