diff --git a/src/.vuepress/public/assets/apresentacoes/Carwehl.pdf b/src/.vuepress/public/assets/apresentacoes/Carwehl.pdf new file mode 100644 index 0000000..dbf4978 Binary files /dev/null and b/src/.vuepress/public/assets/apresentacoes/Carwehl.pdf differ diff --git a/src/Program/README.md b/src/Program/README.md index 9d19d32..3d2465d 100644 --- a/src/Program/README.md +++ b/src/Program/README.md @@ -142,7 +142,7 @@ icon: calendar-alt 10:30h Requirements in RME at IPOL/IREL Building
Mission Specification and Decomposition for Multi-Robots Systems: Caio Peluti (UnB) e Marco Vieira (UnB)
- Paper D.O.I: https://doi.org/10.1016/j.robot.2023.104386 + https://doi.org/10.1016/j.robot.2023.104386 @@ -150,7 +150,7 @@ icon: calendar-alt 11:00h Architecture in RME at IPOL/IREL Building
An Architecture for Mission Coordination of Heterogeneous Robots: Gabriel Siqueira Rodrigues (UnB)
- Paper D.O.I: https://doi.org/10.1016/j.jss.2022.111363 + https://doi.org/10.1016/j.jss.2022.111363 @@ -201,22 +201,23 @@ icon: calendar-alt 09:00h Uncertainty in RME at IPOL/IREL Building
Formal Synthesis of Uncertainty Reduction Controllers - Marc Carwehl (Humboldt)
- Paper D.O.I: https://doi.org/10.48550/arXiv.2401.17187 + Presentation slide - + https://doi.org/10.48550/arXiv.2401.17187 09:20h Uncertainty in RME at IPOL/IREL Building
Dealing with uncertainties in drone-based missions - Lucas Vieira Alves (UECE)
- Presentation slide
- Paper D.O.I: https://doi.org/10.1145/3510458.3513012 + Presentation slide - + https://doi.org/10.1145/3510458.3513012 09:40h Uncertainty in RME at IPOL/IREL Building
Body Sensor Network: A Self-Adaptive Artefact for the Healthcare Domain - Carlos E. Lotterman (UnB) and Ricardo D. Caldas (Chalmers)
- Paper D.O.I: https://doi.org/10.1109/SEAMS51251.2021.00037 + https://doi.org/10.1109/SEAMS51251.2021.00037 @@ -235,7 +236,7 @@ icon: calendar-alt 10:50h Verification in RME at IPOL/IREL Building
On-the-fly informed search of non-blocking directed controllers - Florencia Zanollo (UBA)
- Paper D.O.I: https://doi.org/10.1016/j.automatica.2022.110731 + https://doi.org/10.1016/j.automatica.2022.110731