Taylor Dohmen

According to our database, Taylor Dohmen authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Octatope Abstract Domain for Verification of Neural Networks.

Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski

Proceedings of the Formal Methods - 25th International Symposium, 2023

Reinforcement Learning with Depreciating Assets.

Taylor Dohmen, Ashutosh Trivedi

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Composing Copyless Streaming String Transducers.

Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi

CoRR, 2022

Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning.

Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes.

Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia

CoRR, 2021

Discounting the Past in Stochastic Games.

Taylor Dohmen, Ashutosh Trivedi

CoRR, 2021

Regular Model Checking with Regular Relations.

Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

2019

MSO-Definable Regular Model Checking.

Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi

CoRR, 2019