Fix minors

Author: gsilano

_bibliography/refs.bib

@@ -8,8 +8,6 @@ @INPROCEEDINGS{Silano2024IROS_WS_CONTRIBUTION_FORMAL_METHODS
   preprint     = {publications/IROS24_FM_WS.pdf},
   pages        = {1-2},
   group        = {workshops},
-  link         = {},
-  doi          = {},
   abstract     = {This paper presents a method for task allocation and trajectory generation in cooperative inspection missions using a fleet of multirotor drones, with a focus on wind turbine inspection. The approach generates safe, feasible flight paths that adhere to time-sensitive constraints and vehicle limitations by formulating an optimization problem based on Signal Temporal Logic (STL) specifications. An event-triggered replanning mechanism addresses unexpected events and delays, while a generalized robustness scoring method incorporates user preferences and minimizes task conflicts. The approach is validated through simulations in MATLAB and Gazebo, as well as field experiments in a mock-up scenario.}
 }