Taylor Dohmen

Orcid: 0000-0001-5722-4847

According to our database1, Taylor Dohmen authored at least 9 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Regular Reinforcement Learning.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
The Octatope Abstract Domain for Verification of Neural Networks.
Proceedings of the Formal Methods - 25th International Symposium, 2023

Reinforcement Learning with Depreciating Assets.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Composing Copyless Streaming String Transducers.
CoRR, 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

Discounting the Past in Stochastic Games.
CoRR, 2021

Regular Model Checking with Regular Relations.
Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

2019
MSO-Definable Regular Model Checking.
CoRR, 2019


  Loading...