Merge remote-tracking branch 'origin/release' into release

index.html

@@ -52,7 +52,7 @@ <h2 id="contact-details">Contact details</h2>
     <span class="glyphicon glyphicon-tag" aria-hidden="true"></span> Unmanned Aerial Vehicles</span>
 
 		<span class="label label-default">
-	  <span class="glyphicon glyphicon-tag" aria-hidden="true"></span> Temporal Logic</span>
+	  <span class="glyphicon glyphicon-tag" aria-hidden="true"></span> Formal Methods</span>
 	</p>
 
   <p style="font-size:125%;">
@@ -126,15 +126,15 @@ <h4 class="well-heading">Last news</h4>
   <h4 class="well-heading">Recent publications</h4>
 
 		<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>
 
-    <p>
+		<p>
 	<small class="timestamp text-muted">Journal</small><br>
-	2023, Journal of Intelligent & Robotic Systems, <a target="_blank" href="/publications/JINT_HW_2023.pdf">MRS Drone: A Modular Platform for Real-World Deployment
-	of Aerial Multi-Robot Systems</a>.
+	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>.
 	</p>
 
   <a href="/publications.html">Publications →</a>