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