Taylor Dohmen

11 papers A* 1A 1B 2Journal 6Unranked 1

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Regular Reinforcement Learning. CAV (3) Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2024	J	`jnl`	The hexatope and octatope abstract domains for neural network verification. Formal Methods Syst. Des. Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
2023	A	`conf`	Reinforcement Learning with Depreciating Assets. AAMAS Taylor Dohmen, Ashutosh Trivedi
2023	J	`jnl`	Reinforcement Learning with Depreciating Assets. CoRR Taylor Dohmen, Ashutosh Trivedi
2023	B	`conf`	The Octatope Abstract Domain for Verification of Neural Networks. FM Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
2022	J	`jnl`	Composing Copyless Streaming String Transducers. CoRR Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi
2022	A*	`conf`	Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning. ICAPS Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez
2021	J	`jnl`	Discounting the Past in Stochastic Games. CoRR Taylor Dohmen, Ashutosh Trivedi
2021	J	`jnl`	Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes. CoRR Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia
2021	B	`conf`	Regular Model Checking with Regular Relations. FCT Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi
2019	J	`jnl`	MSO-Definable Regular Model Checking. CoRR Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi