1. Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. (23rd October 2021) Authors: Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio Journal: Computer journal Issue: Volume 66:Number 2(2023) Page Start: 295 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗