Add info about the IROS23 WS paper on the homepage

index.html

@@ -127,14 +127,14 @@ <h4 class="well-heading">Recent publications</h4>
 
 		<p>
 	<small class="timestamp text-muted">Workshop paper</small><br>
-	2023, Workshop on Human Multi-Robot Interaction, IROS 2023, Human-Swarm Interaction with a Gesture-Controlled Aerial Robot Formation
-		for Safety Monitoring Applications.
+	2023, Workshop on Formal methods techniques in robotics systems: Design and control, IROS 2023, <a target="_blank" href="/publications/IROS_2023_WORKSHOP_STL_bird_diverter.pdf">
+		Automating Bird Diverter Installation through Multi-Aerial Robots and Signal Temporal Logic Specifications</a>.
 	</p>
 
 		<p>
-	<small class="timestamp text-muted">Journal</small><br>
-	2023, IEEE Access, <a target="_blank" href="/publications/birdDiverter.pdf">A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks
-		with Multi-Robot Aerial Systems</a>.
+	<small class="timestamp text-muted">Workshop paper</small><br>
+	2023, Workshop on Human Multi-Robot Interaction, IROS 2023, Human-Swarm Interaction with a Gesture-Controlled Aerial Robot Formation
+		for Safety Monitoring Applications.
 	</p>
 
   <a href="/publications.html">Publications →</a>