Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

J. Engelfriet, C.M. Jonker, J. Treur

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationAgent-based Defeasible Control in Dynamic Environments
EditorsD. Gabbay, Ph. Smets
PublisherKluwer Academic Publishers
Pages221-252
Publication statusPublished - 2002

Bibliographical note

Software-Agents-Book

Cite this

Engelfriet, J., Jonker, C. M., & Treur, J. (2002). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In D. Gabbay, & P. Smets (Eds.), Agent-based Defeasible Control in Dynamic Environments (pp. 221-252). Kluwer Academic Publishers.
Engelfriet, J. ; Jonker, C.M. ; Treur, J. / Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Agent-based Defeasible Control in Dynamic Environments. editor / D. Gabbay ; Ph. Smets. Kluwer Academic Publishers, 2002. pp. 221-252
@inbook{07cee4ef58ab45fe883d85a2c7def42d,
title = "Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic",
author = "J. Engelfriet and C.M. Jonker and J. Treur",
note = "Software-Agents-Book",
year = "2002",
language = "English",
pages = "221--252",
editor = "D. Gabbay and Ph. Smets",
booktitle = "Agent-based Defeasible Control in Dynamic Environments",
publisher = "Kluwer Academic Publishers",

}

Engelfriet, J, Jonker, CM & Treur, J 2002, Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. in D Gabbay & P Smets (eds), Agent-based Defeasible Control in Dynamic Environments. Kluwer Academic Publishers, pp. 221-252.

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. / Engelfriet, J.; Jonker, C.M.; Treur, J.

Agent-based Defeasible Control in Dynamic Environments. ed. / D. Gabbay; Ph. Smets. Kluwer Academic Publishers, 2002. p. 221-252.

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

AU - Engelfriet, J.

AU - Jonker, C.M.

AU - Treur, J.

N1 - Software-Agents-Book

PY - 2002

Y1 - 2002

M3 - Chapter

SP - 221

EP - 252

BT - Agent-based Defeasible Control in Dynamic Environments

A2 - Gabbay, D.

A2 - Smets, Ph.

PB - Kluwer Academic Publishers

ER -

Engelfriet J, Jonker CM, Treur J. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In Gabbay D, Smets P, editors, Agent-based Defeasible Control in Dynamic Environments. Kluwer Academic Publishers. 2002. p. 221-252