A Verification Logic for GOAL Agents

KV Hindriks

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific

4 Citations (Scopus)

Original language	English
Title of host publication	Specification and Verification of Multi-agent Systems
Editors	M Dastani, KV Hindriks, JJCh Meyer
Place of Publication	New York, NY, USA
Publisher	Springer
Pages	225-254
Number of pages	405
ISBN (Print)	978-1-4419-6983-5
DOIs	https://doi.org/10.1007/978-1-4419-6984-2_8
Publication status	Published - 2010

Keywords

@inbook{1e79a500323f4fac85f5ee682c84c761,

title = "A Verification Logic for GOAL Agents",

keywords = "Boekdeel internat.wet",

author = "KV Hindriks",

year = "2010",

doi = "10.1007/978-1-4419-6984-2_8",

language = "English",

isbn = "978-1-4419-6983-5",

pages = "225--254",

editor = "M Dastani and KV Hindriks and JJCh Meyer",

booktitle = "Specification and Verification of Multi-agent Systems",

publisher = "Springer",

}

TY - CHAP

T1 - A Verification Logic for GOAL Agents

AU - Hindriks, KV

PY - 2010

Y1 - 2010

KW - Boekdeel internat.wet

U2 - 10.1007/978-1-4419-6984-2_8

DO - 10.1007/978-1-4419-6984-2_8

M3 - Chapter

SN - 978-1-4419-6983-5

SP - 225

EP - 254

BT - Specification and Verification of Multi-agent Systems

A2 - Dastani, M

A2 - Hindriks, KV

A2 - Meyer, JJCh

PB - Springer

CY - New York, NY, USA

ER -