Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri. Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Comput. J., 66(2):295-317, February 2023. [doi]
@article{BernardeschiDFP23,
title = {Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications},
author = {Cinzia Bernardeschi and Andrea Domenici and Adriano Fagiolini and Maurizio Palmieri},
year = {2023},
month = {February},
doi = {10.1093/comjnl/bxab161},
url = {https://doi.org/10.1093/comjnl/bxab161},
researchr = {https://researchr.org/publication/BernardeschiDFP23},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {66},
number = {2},
pages = {295-317},
}