Taylor Dohmen
Orcid: 0000-0001-5722-4847
According to our database1,
Taylor Dohmen
authored at least 10 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
2
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Formal Methods Syst. Des., December, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
2021
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes.
CoRR, 2021
Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021
2019