Taylor Dohmen

20212022202320242 7 12 24

Veřejný přístup

3 články

0 článků

dostupné

nedostupné

Vychází ze zplnomocnění pro financování

Ashutosh TrivediAssociate Professor, University of Colorado at BoulderE-mailová adresa ověřena na: colorado.edu
Alvaro VelasquezProgram Manager, DARPAE-mailová adresa ověřena na: darpa.mil
Andre BeckusUniversity of Central FloridaE-mailová adresa ověřena na: us.af.mil
George AtiaProfessor, University of Central FloridaE-mailová adresa ověřena na: ucf.edu
Stanley BakStony Brook UniversityE-mailová adresa ověřena na: stonybrook.edu
K. SubramaniProfessor of Computer Science, West Virginia UniversityE-mailová adresa ověřena na: mail.wvu.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: seas.upenn.edu
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayE-mailová adresa ověřena na: cse.iitb.ac.in
Shankara Narayanan KrishnaIIT BombayE-mailová adresa ověřena na: cse.iitb.ac.in
Fabio SomenziProfessor, University of Colorado BoulderE-mailová adresa ověřena na: colorado.edu
Mateo PerezUniversity of Colorado BoulderE-mailová adresa ověřena na: colorado.edu

Taylor Dohmen

E-mailová adresa ověřena na: colorado.edu


Název Seřadit podle citací Seřadit podle roku Seřadit podle názvu	Citace Citace	Rok
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	31*	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	5	2023
Composing copyless streaming string transducers R Alur, T Dohmen, A Trivedi arXiv preprint arXiv:2209.05448, 2022	4	2022
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

Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.

Články 1–9

Citace za rok