Towards a verification framework for communicating rational agents

N Bulling, KV Hindriks

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 7th German Conference MATES 2009
EditorsL Braubach et al
Place of PublicationBerlin - Heidelberg
PublisherSpringer
Pages177-182
Number of pages6
ISBN (Print)978-3-642-04142-6
DOIs
Publication statusPublished - 2009
EventMATES 2009, Hamburg, Germany - Berlin - Heidelberg
Duration: 9 Sep 200911 Sep 2009

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume5774
ISSN (Print)0302-9743

Conference

ConferenceMATES 2009, Hamburg, Germany
Period9/09/0911/09/09

Cite this