Cayden R. Codel
Orcid: 0000-0003-3588-4873
According to our database1,
Cayden R. Codel
authored at least 7 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
2023
Dataset, October, 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2019
The MineRL Competition on Sample Efficient Reinforcement Learning using Human Priors.
CoRR, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019