Skip to Main Content (Press Enter)

Cyber Physical Systems Series

Found in Science & Technology

Model Checking, second edition by Edmund M ClarkeJR, Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith

Information-Driven Planning and Control by Silvia Ferrari; Tom Wettergren

Formal Methods for Multi-Agent Feedback Control Systems by Lars Lindemann and Dimos V. Dimarogonas

Cyber Physical Systems Series (4 Titles)

Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for Multi-Agent Feedback Control Systems

Information-Driven Planning and Control

Information-Driven Planning and Control

Verifying Cyber-Physical Systems

Verifying Cyber-Physical Systems

Model Checking, second edition

Model Checking, second edition

Other Series You Might Like

Find other titles in

×