Talks, Presentations and Seminars
Years: 2024・ 2023・2022・2021・2019
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.