Login / Signup
Avni Kothari
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Model Checking
Formal Verification
Multistage
Asynchronous Circuits
Top Venues
CoRR
ICLR
</>
Publications
</>
Avni Kothari
,
Bogdan Kulynych
,
Tsui-Wei Weng
,
Berk Ustun
Prediction without Preclusion: Recourse Verification with Reachable Sets.
ICLR
(2024)
Avni Kothari
,
Bogdan Kulynych
,
Tsui-Wei Weng
,
Berk Ustun
Prediction without Preclusion: Recourse Verification with Reachable Sets.
CoRR
(2023)