Formal Methods for Multi-Agent Feedback Control Systems このシリーズの他のブック

Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
2021年
Information-Driven Planning and Control Information-Driven Planning and Control
Information-Driven Planning and Control
2021年
Model Checking, second edition Model Checking, second edition
Model Checking, second edition
2018年