<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    Dear all,<br>
    <br>
    This is a gentle reminder about the talk scheduled for next
    Wednesday.<br>
    <br>
    Looking forward to seeing you there.<br>
    <br>
    Thank you.<br>
    <br>
    Best regards,<br>
    Rui Araújo<br>
    <br>
    <br>
    <div class="moz-cite-prefix">On 21/05/2026 6.33 pm, Rui Araujo
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:7aec6456-bd49-4231-9a1b-7ba470b2a883@isr.uc.pt">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      Dear all,<br>
      <br>
      We are pleased to announce a talk by Luís Marques on May 27 at
      16:00, at the ISR Amphitheater.<br>
      <br>
      Below you can find the title, abstract, and short bio of the
      speaker. We look forward to seeing you there!<br>
      <br>
      ---<br>
      <br>
      <b>Title:</b> Uncertainty Calibration for Safety-Critical Robotics
      using Conformal Prediction<br>
      <br>
      <b>Abstract:</b> Robot dynamics models, whether learned,
      simulated, or analytical, can be inaccurate in unseen
      environments. This creates a challenge for safe control:
      uncertainty estimates often become uncalibrated, which can lead to
      overconfident plans and unsafe executions. In this talk, I will
      present conformal prediction-based methods that calibrate
      approximate uncertainty estimates from inaccurate dynamics models
      and construct prediction sets guaranteed to contain future robot
      states at a user-specified rate. These methods provide
      non-asymptotic, model-agnostic guarantees and adapt to the robot’s
      state, action, and observations, making them informative for
      downstream safe planning. I demonstrate the approach on a double
      integrator system with random perturbations and significant model
      mismatch.<br>
      <br>
      <b>Short bio:</b> Luís Marques is a Ph.D. student in the Robotics
      Department at the University of Michigan, advised by Dmitry
      Berenson. His work lies at the intersection of uncertainty
      quantification, safe robotic decision-making, and conformal
      prediction, with a focus on calibrating dynamics uncertainty under
      both aleatory disturbances and model mismatch. Previously, Luís
      received a M.S. in Robotics from the University of Michigan (2025)
      and a M.Eng. in Aeronautical Engineering from Imperial College
      London (2023).<br>
      <br>
      ---<br>
      <br>
      Best regards,<br>
      Rui Araújo<br>
      <pre class="moz-signature" cols="82">--------------------------------------------------------------
Rui Alexandre de Matos Araujo
ISR-Institute for Systems and Robotics
DEEC-Department of Electrical and Computer Engineering
University of Coimbra, Polo II
PT-3030-290 Coimbra - Portugal
  Email: <a class="moz-txt-link-abbreviated moz-txt-link-freetext"
      href="mailto:rui@isr.uc.pt" moz-do-not-send="true">rui@isr.uc.pt</a> ; Tel: +351-239.796276/00
  Web: <a class="moz-txt-link-freetext"
      href="https://home.deec.uc.pt/~rui/" moz-do-not-send="true">https://home.deec.uc.pt/~rui/</a> ; <a
      class="moz-txt-link-freetext" href="http://ruiaraujo.rf.gd/"
      moz-do-not-send="true">http://ruiaraujo.rf.gd/</a>
--------------------------------------------------------------

</pre>
    </blockquote>
    <br>
  </body>
</html>