Abhinav Verma

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Satisfiability Problem

Verification Method

Top Venues

Publications

Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
Deep Policy Optimization with Temporal Logic Constraints. CoRR (2024)
Cameron Voloshin, Abhinav Verma, Yisong Yue
Eventual Discounting Temporal Logic Counterfactual Experience Replay. ICML (2023)
Cameron Voloshin, Abhinav Verma, Yisong Yue
Eventual Discounting Temporal Logic Counterfactual Experience Replay. CoRR (2023)