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 | 22* | 2022 |
Composing copyless streaming string transducers R Alur, T Dohmen, A Trivedi arXiv preprint arXiv:2209.05448, 2022 | 4 | 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 | 3 | 2023 |
Regular Model Checking with Regular Relations V Dave, T Dohmen, SN Krishna, A Trivedi International Symposium on Fundamentals of Computation Theory, 190-203, 2021 | 2 | 2021 |
Regular Reinforcement Learning T Dohmen, M Perez, F Somenzi, A Trivedi International Conference on Computer Aided Verification, 184-208, 2024 | 1 | 2024 |
Reinforcement Learning with Depreciating Assets T Dohmen, A Trivedi arXiv preprint arXiv:2302.14176, 2023 | 1 | 2023 |
Discounting the Past T Dohmen, A Trivedi arXiv preprint arXiv:2102.06985, 2021 | 1 | 2021 |
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 |