vix.ing · top · new · best · stats · spec

Fleuriot, Jacques

  1. Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
    2021/12/11 by Mark Chevallier, Chevallier, Mark, Jacques Fleuriot +1 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC) #Reinforcement Learning in Robotics