Opening book details…
Can I read Specification and Verification of Multi-agent Systems on EtoBox?
Specification and Verification of Multi-agent Systems by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer is a computer science book available to read on EtoBox.
What is Specification and Verification of Multi-agent Systems about?
<p>Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems.</p> <p>Chapters
Who reads Specification and Verification of Multi-agent Systems?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer
- Publisher
- Springer Science+Business Media, LLC; Springer
- Published
- 2010
- Language
- EN
- ISBN
- 9781489990884
- Category
- computer science
- Subjects
- Engineering, Mathematics, Music
- Updated
- 2026-03-25
More by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer
Browse all works by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer
Similar books
- Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification (Embedded Multi-Core Systems) — Phan Cong-Vinh (2011)
- Verification of Multi-agent Systems with Imperfect Information and Public Actions — Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (1970)
- An Application Science for Multi-Agent Systems — Tom Wagner (auth.), Thomas A. (2004)
- Architecture-Based Design of Multi-Agent Systems — Danny Weyns (2010)
- Multi-Agent Systems — Vicent Botti, Vicente Julian, Stefano Mariani, Andrea Omicini (2019)
- Real-time Systems : Specification, Verification, and Analysis — edited by Mathai Joseph (1996)