Search for persons
X
?
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
2
CertRL: formalizing convergence proofs for value and policy..:
, In:
?
Integrability: From Statistical Systems to Gauge Theory ,
4