Talks, Presentations and Seminars

2024

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

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.

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.

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

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.