Follow
Taylor Dohmen
Title
Cited by
Cited by
Year
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
18*2022
Composing copyless streaming string transducers
R Alur, T Dohmen, A Trivedi
arXiv preprint arXiv:2209.05448, 2022
32022
Regular Model Checking with Regular Relations
V Dave, T Dohmen, SN Krishna, A Trivedi
International Symposium on Fundamentals of Computation Theory, 190-203, 2021
12021
Discounting the Past
T Dohmen, A Trivedi
arXiv preprint arXiv:2102.06985, 2021
12021
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
2023
Reinforcement Learning with Depreciating Assets
T Dohmen, A Trivedi
arXiv preprint arXiv:2302.14176, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–6