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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7
Editors	D. Gabbay, Ph. Smets
Publisher	Kluwer Academic
Pages	221-252
Number of pages	32
Publication status	Published - 2002

Cite this

@inproceedings{a07141ce8afb4783984af88d1e8277c8,

title = "Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic",

author = "J. Engelfriet and C.M. Jonker and J. Treur",

year = "2002",

language = "Undefined/Unknown",

pages = "221--252",

editor = "D. Gabbay and Ph. Smets",

booktitle = "Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7",

publisher = "Kluwer Academic",

}

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. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7. ed. / D. Gabbay; Ph. Smets. Kluwer Academic, 2002. p. 221-252.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Engelfriet, J.

AU - Jonker, C.M.

AU - Treur, J.

PY - 2002

Y1 - 2002

M3 - Conference contribution

SP - 221

EP - 252

BT - Agent-Based Defeasible Control in Dynamic Environments. Series in Defeasible Reasoning and Uncertainty Management Systems. Vol. 7

A2 - Gabbay, D.

A2 - Smets, Ph.

PB - Kluwer Academic

ER -