Activities per year
- 3 results
Search results
-
Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning
Ghaffari, M. (Speaker)
2023Activity: Talk or presentation types › Lecture and oral contribution
File -
Symbolic Reinforcement Learning
Ghaffari, M. (Speaker)
2023Activity: Talk or presentation types › Lecture and oral contribution
-
Formal Specification and Testing for Reinforcement Learning
Ghaffari, M. (Speaker)
2023Activity: Talk or presentation types › Lecture and oral contribution