Agent Technology from a Formal Perspective Other Books in This Series

ACS Without an Attitude

Provably Correct Systems

Autonomy Requirements Engineering for Space Missions

Semantic Web: Concepts, Technologies and Applications

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems