From 9675db0109596bfdc4f4ee0a158edbb9b72d464a Mon Sep 17 00:00:00 2001 From: Daniel de Paula Porto Date: Thu, 22 Feb 2024 23:06:12 -0300 Subject: [PATCH] =?UTF-8?q?Corre=C3=A7=C3=A3o=20de=20link?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/Program/README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Program/README.md b/src/Program/README.md index 29ff7b5..4e981a9 100644 --- a/src/Program/README.md +++ b/src/Program/README.md @@ -204,7 +204,7 @@ icon: calendar-alt 09:20h Uncertainty in RME at IPOL/IREL Building
Dealing with uncertainties in drone-based missions - Lucas Vieira Alves (UECE)
- Presentation slide + Presentation slide @@ -222,7 +222,7 @@ icon: calendar-alt 10:30h Verification in RME at IPOL/IREL Building
Guidelines for Testing and Verification of ROS-based Robotics Systems in the Field - Ricardo D. Caldas (Chalmers)
- Presentation slide + Presentation slide @@ -235,14 +235,14 @@ icon: calendar-alt 11:10h Verification in RME at IPOL/IREL Building
Exploiting modular game representation for GR(1) synthesis - Hernán Gagliardi (UBA)
- Presentation slide + Presentation slide 11:30h Explainability in RME at IPOL/IREL Building
Trace-Diagnostic for Signal Temporal Properties: an Evolutionary Approach - Gabriel Araújo (UnB)
- Presentation slide + Presentation slide