Information-Driven Planning and Control このシリーズの他のブック

Formal Methods for Multi-Agent Feedback Control Systems

Verifying Cyber-Physical Systems

Model Checking, second edition