Add DOI and link

Author: gsilano

_bibliography/refs.bib

@@ -8,6 +8,8 @@ @INPROCEEDINGS{Silano2024IROS_WS_CONTRIBUTION_FORMAL_METHODS
   preprint     = {publications/IROS24_FM_WS.pdf},
   pages        = {1-2},
   group        = {workshops},
+  link         = {http://arxiv.org/abs/2410.06620},
+  doi          = {10.48550/arXiv.2410.06620},
   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.}
 }