Formal Methods for Multi-Agent Feedback Control Systems
Lars Lindemann & Dimos V. Dimarogonas
Verifying Cyber-Physical Systems
Sayan Mitra
Information-Driven Planning and Control
Silvia Ferrari & Thomas A. Wettergren
Model Checking, second edition
Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled & Helmut Veith