<!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>