CertRL: formalizing convergence proofs for value and policy iteration in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton. CertRL: formalizing convergence proofs for value and policy iteration in Coq. In Catalin Hritcu, Andrei Popescu 0001, editors, CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021. pages 18-31, ACM, 2021. [doi]

This author has not been identified. Look up 'Koundinya Vajjha' in GoogleThis author has not been identified. Look up 'Avraham Shinnar' in GoogleThis author has not been identified. Look up 'Barry M. Trager' in GoogleThis author has not been identified. Look up 'Vasily Pestun' in GoogleThis author has not been identified. Look up 'Nathan Fulton' in Google

runs on WebDSL