Talks, Presentations and Seminars

Years: 20242023202220212019

2024


Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
AGI Leap Summit, Virtual Event (remote).

2023


Safety Shielding under Delayed Observation
Intelligent Decision Making Lab at USC, Los Angeles (remote).

Search-Based Testing of Reinforcement Learning
SafeRL Workshop at IJCAI, Macao.

2022


Formal Methods for Safe Reinforcement Learning
AI Team Seminar at BaseTIS, Barcelona.

Synthesizing Shields using TEMPEST
Continuous Engineering and Deep Learning for Trustworthy Autonomous Systems Summer School, Thessaloniki.


2021


Improving RL by clever initialization: a case study playing Super Mario Bros
RL-CONFORM Workshop at IROS, Prague (remote).


2019


Ehrhart Positivity of Generalized Permutohedra
Einstein Workshop on Polytopes and Algebraic Geometry, Freie Universität Berlin.

Ehrhart Positivity of Orbit Polytopes
Spanish Meeting on Computational Geometry, Girona.