by John-JulesCharlesMeyer (Editor), Mehdi Dastani (Editor), KoenV.Hindriks (Editor)
Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.
Format: Hardcover
Pages: 405
Edition: 1st Edition.
Publisher: Springer
Published: 09 Aug 2010
ISBN 10: 1441969837
ISBN 13: 9781441969835