MSO-Definable Regular Model Checking. - Vrunda Dave; Taylor Dohmen; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (CoRR, 2019)

Regular Model Checking with Regular Relations. - Vrunda Dave; Taylor Dohmen; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (FCT, 2021)

Discounting the Past in Stochastic Games. - Taylor Dohmen; Ashutosh Trivedi 001 (CoRR, 2021)

Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes. - Alvaro Velasquez; Andre Beckus; Taylor Dohmen; Ashutosh Trivedi 001; Noah Topper; George K. Atia (CoRR, 2021)

Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning. - Taylor Dohmen; Noah Topper; George K. Atia; Andre Beckus; Ashutosh Trivedi 001; Alvaro Velasquez (ICAPS, 2022)

Composing Copyless Streaming String Transducers. - Rajeev Alur; Taylor Dohmen; Ashutosh Trivedi 001 (CoRR, 2022)

Reinforcement Learning with Depreciating Assets. - Taylor Dohmen; Ashutosh Trivedi 001 (AAMAS, 2023)

The Octatope Abstract Domain for Verification of Neural Networks. - Stanley Bak; Taylor Dohmen; K. Subramani 001; Ashutosh Trivedi 001; Alvaro Velasquez; Piotr Wojciechowski 002 (FM, 2023)

Regular Reinforcement Learning. - Taylor Dohmen; Mateo Perez; Fabio Somenzi; Ashutosh Trivedi 001 (CAV (3), 2024)

The hexatope and octatope abstract domains for neural network verification. - Stanley Bak; Taylor Dohmen; K. Subramani 001; Ashutosh Trivedi 001; Alvaro Velasquez; Piotr Wojciechowski 002 (Formal Methods Syst. Des., 2024)