Series: Cyber Physical Systems Series

Sort

Filter

cover image of Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for...

Cyber Physical Systems Series

Lars Lindemann Author
Dimos V. Dimarogonas Author
(2025)

cover image of Model Checking

Model Checking

Cyber Physical Systems Series

Edmund M. Clarke, Jr. Author
Orna Grumberg Author
(2018)

cover image of Information-Driven Planning and Control

Information-Driven Planning...

Cyber Physical Systems Series

Silvia Ferrari Author
Thomas A. Wettergren Author
(2021)

cover image of Verifying Cyber-Physical Systems

Verifying Cyber-Physical Systems

Cyber Physical Systems Series

Sayan Mitra Author
(2021)