Chaitanya Agarwal

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 4

Top Topics

Temporal Properties

Automated Verification

Top Venues

Publications

Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CoRR (2022)
Chaitanya Agarwal, Vivek Gupta, Anoop Kunchukuttan, Manish Shrivastava
Bilingual Tabular Inference: A Case Study on Indic Languages. NAACL-HLT (2022)
Kelin Luo, Chaitanya Agarwal, Syamantak Das, Xiangyu Guo
The Multi-vehicle Ride-Sharing Problem. WSDM (2022)
Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CAV (2) (2022)