Talks

Future Symbolic State Partitioning for Reinforcement Learning, Danish Digitalization Data Science and AI, Nyborg, Denmark
2025 Fix-Point Partitioning of Reinforcement Learning State Space, SQUARE retreat, Sandbjerg, Denmark
2025 Symbolic State Partitioning for Reinforcement Learning, FASE 2025, Hamilton, Canada
2025 Symbolic State Seeding Improves Coverage Of Reinforcement Learning, SEAMS 2025, Ottawa, Canada
2025 Symbolic State Partitioning for Reinforcement Learning, ITU, Copenhagen, Denmark
2025 Symbolic State Seeding Improves Coverage Of Reinforcement Learning, ITU, Copenhagen, Denmark
2025 Testing and Symbolic Analysis For Reinforcement Learning, ITU, Copenhagen, Denmark
2024 Probabilistic Programming in Action: A Binomial Model for Predicting the Success Rate of Reinforcement Learning Algorithms, ITU, Copenhagen, Denmark
2024 Make a Safe Decision by Analysing the Environment, SQUARE retreat, Sandbjerg, Denmark
2024 Symbolic Reinforcement Learning, Ruhr University, Bochum, Germany
2023 Formal Specification and Testing for Reinforcement Learning, ITU, Copenhagen, Denmark
2023 Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning, NWPT, Sweden
2023 Symbolic Reinforcement Learning, SQUARE retreat, Swinoujscie, Poland
2022 Symbolic Reinforcement Learning, ITU, Copenhagen, Denmark
2022 Formal Specification and Testing for Reinforcement Learning, DIREC, Copenhagen, Denmark
2021 Learning to Shift Load Under Uncertain Production in the Smart Grid, AAU, Aalborg, Denmark
2016 Arrangements and Duality (Super sampling in Ray Tracing), IASBS, Iran
2016 String Matching, IASBS, Iran
2016 Approximate Nash Equilibria in Anonymous Games, IASBS, Iran
2016 A Game Theoretic Approach to Energy Trading in the Smart Grid, IASBS, Iran
2016 Consensus-Based Decentralized Auctions for Robust Task Allocation, IASBS, Iran
2016 Load Shifting in the Smart Grid To Participate or Not, IASBS, Iran
2016 Normal Forms in Logic, IASBS, Iran
2016 Algebraic Techniques in Randomized Algorithms, IASBS, Iran
2015 Introduction to Cellular Automata, IASBS, Iran
2013 Introduction to Artificial Intelligence, Tabriz University, Iran
2012 Lecturer of Java Programming in Computer Science Conference, Tabriz University, Iran