Search Results for author:
Found 3 papers, 0 papers with code
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
We present a formalisation of finite Markov decision processes with rewards in the Isabelle theorem prover.
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way
It depends on federations sharing data that often have governance rules or external regulations restricting their use.
Social Network Processes in the Isabelle and Coq Theorem Proving Communities
We identify the main actors in the Isabelle and Coq communities and describe how they affect and influence their peers.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
