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