Agent Technology from a Formal Perspective (eBook, PDF)

• Format: PDF

Produktdetails

• Verlag: Springer London
• Erscheinungstermin: 27. Januar 2006
• Englisch
• ISBN-13: 9781846282713
• Artikelnr.: 37351283

Autorenporträt

Christopher Rouff, Science Applications International Corporation, San Diego, CA, USA

Inhaltsangabe

---

What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.