Minor fixes

_bibliography/refs.bib

@@ -1,4 +1,4 @@
-@INPROCEEDINGS{Silano2023IROS_WS-I,
+@INPROCEEDINGS{Silano2023IROS_WS_I,
  author       = {{Silano}, G. and {Kratky}, V. and {Vrba}, M. and {Papaioannidis}, C. and {Mademlis}, I. and {Penicka}, R. and {Pitas}, I. and {Saska}, M.},
  booktitle    = {2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
  title        = {{Human-Swarm Interaction with a Gesture-Controlled Aerial Robot Formation for Safety Monitoring Applications}},
@@ -11,7 +11,7 @@ @INPROCEEDINGS{Silano2023IROS_WS-I
  abstract     = {This paper presents a formation control approach for contactless Human-Swarm Interaction (HSI) using hand gestures with a team of multi-rotor Unmanned Aerial Vehicles (UAVs). The approach aims to monitor the safety of human workers, especially those working at heights. In the proposed scheme, one UAV acts as the leader of the formation and is equipped with sensors for human worker detection and gesture recognition. The follower UAVs maintain a predetermined formation relative to the worker’s position, thereby providing additional perspectives of the monitored scene. The use of hand gestures allows the human worker to specify movements and action commands for the UAV team, without the need for an additional communication channel or specific markers including the relative distance. Field experiments with three UAVs and a human worker in a mock-up scenario showcase the effectiveness and responsiveness of the proposed approach.},
 }
 
-@INPROCEEDINGS{Silano2023IROS_WS-II,
+@INPROCEEDINGS{Silano2023IROS_WS_II,
  author       = {{Caballero}, A. and {Silano}, G.},
  booktitle    = {2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
  title        = {{Automating Bird Diverter Installation through Multi-Aerial Robots and Signal Temporal Logic Specifications}},
@@ -26,7 +26,7 @@ @INPROCEEDINGS{Silano2023IROS_WS-II
  abstract     = {This paper tackles the task assignment and trajectory generation problem for bird diverter installation using a fleet of multi-rotors. The proposed motion planner considers payload capacity, recharging constraints, and utilizes Signal Temporal Logic (STL) specifications for encoding mission objectives and temporal requirements. An event-based replanning strategy is introduced to handle unexpected failures and ensure operational continuity. An energy minimization term is also employed to implicitly save multi-rotor flight time during installation. Simulations in MATLAB and Gazebo, as well as field experiments, demonstrate the effectiveness and validity of the approach in a mock-up scenario.},
 }
 
-@INPROCEEDINGS{Silano2023ICRA_WS-I,
+@INPROCEEDINGS{Silano2023ICRA_WS_I,
  author       = {{Silano}, G. and {Afifi}, A. and {Saska}, M. and {Franchi}, A.},
  booktitle    = {2023 IEEE International Conference on Robotics and Automation (ICRA)},
  title        = {{Ergonomic Collaboration between Humans and Robots: An Energy-Aware Signal Temporal Logic Perspective}},
@@ -43,7 +43,7 @@ @INPROCEEDINGS{Silano2023ICRA_WS-I
 
 @ARTICLE{Silano2022BirdDiverter,
  title        = {{A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks with Multi-Robot Aerial Systems}},
- author       = {Alvaro {Caballero} and Giuseppe {Silano}},
+ author       = {{Caballero}, Alvaro and {Silano}, Giuseppe},
  journal      = {IEEE Access},
  group        = {journals},
  year         = {2023},
@@ -75,7 +75,7 @@ @ARTICLE{Silano2023JINT_HW
 }
 
 @INPROCEEDINGS{SilanoICUAS23_II,
- author       = {{Silano}, Giuseppe and  {Afifi}, Amr and {Saska}, Martin and {Franchi}, Antonio},
+ author       = {{Silano}, Giuseppe and {Afifi}, Amr and {Saska}, Martin and {Franchi}, Antonio},
  booktitle    = {2023 International Conference on Unmanned Aircraft Systems (ICUAS)},
  title        = {{A Signal Temporal Logic Planner for Ergonomic Human–Robot Collaboration}},
  year         = {2023},