Guessing Value Iteration for MDPs - TACAS
More information here.I presented the paper “Value-iteration with Guessing for Markov chains and Markov decision processes” which was recently accepted in TACAS 2025!
Here is my presentation:
I presented the paper “Value-iteration with Guessing for Markov chains and Markov decision processes” which was recently accepted in TACAS 2025!
Here is my presentation: