Seguir
Taylor Dohmen
Taylor Dohmen
Dirección de correo verificada de colorado.edu
Título
Citado por
Citado por
Año
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning
T Dohmen, N Topper, G Atia, A Beckus, A Trivedi, A Velasquez
Proceedings of the International Conference on Automated Planning and …, 2022
27*2022
The octatope abstract domain for verification of neural networks
S Bak, T Dohmen, K Subramani, A Trivedi, A Velasquez, P Wojciechowski
International Symposium on Formal Methods, 454-472, 2023
42023
Composing copyless streaming string transducers
R Alur, T Dohmen, A Trivedi
arXiv preprint arXiv:2209.05448, 2022
42022
Regular Model Checking with Regular Relations
V Dave, T Dohmen, SN Krishna, A Trivedi
International Symposium on Fundamentals of Computation Theory, 190-203, 2021
22021
Regular Reinforcement Learning
T Dohmen, M Perez, F Somenzi, A Trivedi
International Conference on Computer Aided Verification, 184-208, 2024
12024
Reinforcement Learning with Depreciating Assets
T Dohmen, A Trivedi
arXiv preprint arXiv:2302.14176, 2023
12023
Discounting the Past
T Dohmen, A Trivedi
arXiv preprint arXiv:2102.06985, 2021
12021
The hexatope and octatope abstract domains for neural network verification
S Bak, T Dohmen, K Subramani, A Trivedi, A Velasquez, P Wojciechowski
Formal Methods in System Design, 1-22, 2024
2024
Regular Transformations in Sequential Optimization & Reinforcement Learning
T Dohmen
University of Colorado at Boulder, 2024
2024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9