Taylor Dohmen 个人学术档案

20212022202320242 7 11 14

开放获取的出版物数量

3 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

Ashutosh TrivediAssociate Professor, University of Colorado at Boulder在 colorado.edu 的电子邮件经过验证
Alvaro VelasquezProgram Manager, DARPA在 darpa.mil 的电子邮件经过验证
Andre BeckusUniversity of Central Florida在 us.af.mil 的电子邮件经过验证
George AtiaAssociate Professor, University of Central Florida在 ucf.edu 的电子邮件经过验证
Rajeev AlurZisman Family Professor of Computer and Information Science, University of Pennsylvania在 seas.upenn.edu 的电子邮件经过验证
Stanley BakStony Brook University在 stonybrook.edu 的电子邮件经过验证
K. SubramaniProfessor of Computer Science, West Virginia University在 mail.wvu.edu 的电子邮件经过验证
Vrunda DaveResearch Scholar, Indian Institute of Technology Bombay在 cse.iitb.ac.in 的电子邮件经过验证
Shankara Narayanan KrishnaIIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证
Fabio SomenziProfessor, University of Colorado Boulder在 colorado.edu 的电子邮件经过验证
Mateo PerezUniversity of Colorado Boulder在 colorado.edu 的电子邮件经过验证

Taylor Dohmen

在 colorado.edu 的电子邮件经过验证


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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

系统目前无法执行此操作，请稍后再试。

文章 1–9

每年引用数