Taylor Dohmen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Pspace Complete

Reinforcement Learning

Stochastic Games

Top Venues

Publications

Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Regular Reinforcement Learning. CAV (3) (2024)
Taylor Dohmen, Ashutosh Trivedi
Reinforcement Learning with Depreciating Assets. CoRR (2023)
Taylor Dohmen, Ashutosh Trivedi
Reinforcement Learning with Depreciating Assets. AAMAS (2023)
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
The Octatope Abstract Domain for Verification of Neural Networks. FM (2023)
Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning. ICAPS (2022)
Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi
Composing Copyless Streaming String Transducers. CoRR (2022)
Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes. CoRR (2021)
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
Regular Model Checking with Regular Relations. FCT (2021)
Taylor Dohmen, Ashutosh Trivedi
Discounting the Past in Stochastic Games. CoRR (2021)
Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
MSO-Definable Regular Model Checking. CoRR (2019)