Information-Driven Planning and Control Other Books in This Series

Formal Methods for Multi-Agent Feedback Control Systems

Verifying Cyber-Physical Systems

Model Checking, second edition