Agent Technology from a Formal Perspective

ISBN: 978-1-85233-947-0 (Print) 978-1-84628-271-3 (Online)

Table of contents (11 chapters)

  1. Background

    1. No Access

      Book Chapter

      Pages 3-24

      What Is an Agent? And What Is an Agent Community?

    2. No Access

      Book Chapter

      Pages 25-64

      Introduction to Formal Methods

    3. No Access

      Book Chapter

      Pages 65-96

      Formal Methods and Agent-Based Systems

  2. Formal Methods in Agent Design

    1. No Access

      Book Chapter

      Pages 99-137

      A Process-Algebraic Agent Abstraction

    2. No Access

      Book Chapter

      Pages 139-158

      Dynamic Team Formation in Executable Agent-Based Systems

    3. No Access

      Book Chapter

      Pages 159-189

      Scenario-Based Engineering of Multi-Agent Systems

  3. Formal Agent Verification and Redesign

    1. No Access

      Book Chapter

      Pages 193-225

      Verification Within the KARO Agent Theory

    2. No Access

      Book Chapter

      Pages 227-257

      Assuring the Behavior of Adaptive Agents

    3. No Access

      Book Chapter

      Pages 259-283

      Agents in a Wild World

  4. Significant Applications

    1. No Access

      Book Chapter

      Pages 287-309

      Formal Methods at NASA Goddard Space Flight Center

    2. No Access

      Book Chapter

      Pages 311-339

      Formal Verification of Autonomy Models