Chaitanya Agarwal

According to our database, Chaitanya Agarwal authored at least 4 papers in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP.

Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai

CoRR, 2022

The Multi-vehicle Ride-Sharing Problem.

Kelin Luo, Chaitanya Agarwal, Syamantak Das, Xiangyu Guo

Proceedings of the WSDM '22: The Fifteenth ACM International Conference on Web Search and Data Mining, Virtual Event / Tempe, AZ, USA, February 21, 2022

Bilingual Tabular Inference: A Case Study on Indic Languages.

Chaitanya Agarwal, Vivek Gupta, Anoop Kunchukuttan, Manish Shrivastava

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP.

Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham

Proceedings of the Computer Aided Verification - 34th International Conference, 2022