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

Formal Methods for Multi-Agent Feedback Control Systems Formal Methods for Multi-Agent Feedback Control Systems
2025年
Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
2021年
Model Checking, second edition Model Checking, second edition
2018年