Verifying Cyber-Physical Systems Other Books in This Series

Formal Methods for Multi-Agent Feedback Control Systems Formal Methods for Multi-Agent Feedback Control Systems
Formal Methods for Multi-Agent Feedback Control Systems
2025
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