Teaching Proposals for thesis or research projects Year 2024-2025 Convergence of Average-Reward Reinforcement Learning Formal Foundations of Model-Free Reinforcement Learning